Added a script to compress the resulting PDF.