Added shrinkpdf.py, script to reduce the file size of a PDF