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).