[WIP] Cleanup user documentation build

This PR does some cleanup in the Makefile of the user documentation.
The first commit makes `make html` work.
Also some generated files got deleted and the `*.1` files are converted to UTF-8.