Prepare detailed documentation / wiki for public release

[zyzek]

We need to review all our documentation (including auto-generated), and possibly centralise it on the GitHub wiki rather than the various .md files we currently have scattered around. Some of these may also be out of date, so we need to check this too.

• Public release docs should provide how-tos / examples for:
  • Disassembly
  • Decompilation
  • Analysis with Souffle (both a basic example with one contract, and also for a batch of contracts using the bulk_analyser)
• Check, proof and edit function extraction and memory abstraction Wiki pages