Convert documentation into markdown format

[dspinellis]

This will make it easier to generate the final formatted version. It seems the conversion process can be automated using Pandoc.
Issues:

• Literal HTML blocks
• Syntax highlighting
• Page navigation
• Images