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).
I guess we should also add these packages

*  `color`
* `url`
* `hyperref`