Convert docs markdown to HTML

In order to provide greater flexibility in the docs, we need to convert all docs markdown files to HTML.