Support actual recompression of an existing PDF without any input hOCR or input images

[MerlijnWajer]

We could just extract every image from a PDF, and insert the MRC compressed images in its place. This way we could just compress existing PDFs, much like the foxit pdf compressor does: https://www.foxit.com/compress-pdf/

This would actually be a pretty trivial, but powerful, addition.