Draft: Build HTML version of documentation

Jonas Schwabrequested to merge
documentation-in-html into master

Some playing around, trying to produce a decent HTML version of the LaTeX documentation.

Merge request reports