Compile docs with markdown extensions #13
Description
POST RELEASE
mkdocs is able to process more feature rich markdown than what we currently use.
We currently include man-pages as GithubFlavoredMarkdown, which among other things does not sipport definition lists.
We should setup mkdocs to use more features and adjust the markdown compilation accordingly.