Shrink a PDF by re-rendering each page as JPEG, with adjustable DPI, quality and grayscale, before/after sizes shown