Support generating arbitrary PDFs

This lets you specify a ".proc" file that generates (as stdout) a PDF
file.
Remove a debugging printf that slipped through