Make pdflatex nonstop mode optional