Produce a pdf rahter than an info page

Targets #351.

The initial setup may still lack a view bits (e.g. inclusion of LaTeX packages).
You would make the latex package required for building the software? If I understand that right: You actually need the latex package for building the software itself?

Can we define this to be required for the `doc` target only?