Compress PDF

Make PDF files smaller, from lossless clean-up to strong image compression.