add initial quark arch docs and fix up pages with invalid TOCs

Author: psifertex

docs/dev/archplatform.md

@@ -1,4 +1,3 @@
-# Binary Ninja Intermediate Language Series, Part 3: High Level IL
 # Binary Ninja Intermediate Language: High Level IL
 
 The High Level Intermediate Language (HLIL) is Binary Ninja's decompiler output. Much like [LLIL](./bnil-llil.md) and [MLIL](./bnil-mlil.md), this representation is tree based and has many of the same instructions. This representation is distinct in a few key ways.

docs/dev/bnil-hlil.md

@@ -1,4 +1,3 @@
-# Binary Ninja Intermediate Language Series, Part 2: Medium Level IL
 # Binary Ninja Intermediate Language: Medium Level IL
 
 The Medium Level Intermediate Language (MLIL) is the second major representation in the Binary Ninja Intermediate Language (BNIL) family of intermediate languages. Much like [LLIL](./bnil-llil.md) this representation is tree based and has many of the same instructions. This representation is distinct in a few key ways.

docs/dev/bnil-mlil.md

@@ -9,8 +9,6 @@ One of the best ways to learn a complicated API is to simply find the right exam
 
  That said, most of those examples tend to be more complex and so the following recipes are meant to be simple but useful building-blocks with which to learn useful techniques. Many of them also make use of the built-in Python console's [magic variables](../guide/index.md#magic-console-variables):
 
-# Recipes
-
 ## Loading Files & Databases
 
 When scripting from the Binary Ninja UI, the `bv` magic variable is already defined and available in the Python console or scripts loaded via `File -> Run Script...`. You can directly use `bv` to access the currently open binary.