Add build env for user manual

This PR introduces the initial setup for the user manual.
I did not yet decide in what section the manual should be put.
Also note that the documentation is _not_ build on the CI, since the setup omits building the documentation if either `latex2man` or `makeinfo` are missing.
Targets #250.