Add description for each sub-command and generate manpages in the website

It would be nice to have a better description of the sub-commands, and make them available in the website.

This MR tries to do so using groff's output from cmdliner, and using an script based on pandoc for generating .md manual pages.