Generate + Link PDF documents in the documentation.

Review by @eed3si9n  (actually just posting to TravisCI for now to see what we have to fix in that setup, most likely installing texlive).