Try texlive-latex-extra in Travis to make the PDF docs build