Reduced verbosity of pdflatex output