Consolidate VM documentation (lambdaclass#1866)

* Add tooling section

* Link to new section with doc

* Copy documentation

* Remove unused section

* Fix typo

* Clean up doc

* Add instruction format section

* Add more todos

* Add description to some tools

* Ack doc source

* Add hint and builtin documentation

* Remove extra todo

* Fix grammar error

* Update prover link

* Mention Code Walkthrough

* Remove TODO

* Add example

docs/README.md

@@ -1,8 +1,18 @@
 # Documentation
+
+* [How does the Cairo VM work?](./vm/)
 * [How does the original Cairo VM work?](./python_vm/)
 * [Benchmarks](./benchmarks/)
 * [Custom Hint Processor](./hint_processor/)
 * [How to run a cairo program with custom hints](./hint_processor/builtin_hint_processor)
 * [References parsing](./references_parsing/)
 * [Tracer](./tracer/)
 * [Debugging](./debugging.md)
+
+## Tooling
+
+* [cairo1-run](/cairo1-run): Execute Cairo 1 programs
+* [cairo-vm-cli](/cairo-vm-cli): Execute Cairo 0 programs
+* [cairo-vm-tracer](/cairo-vm-tracer)
+* [fuzzer](/fuzzer)
+* [hint_accountant](/hint_accountant)