First attempt to shrink PDF files.
See #1