Build PDFs on Travis. Based on work by @viroulep, fixes #53.