Optimize PDF

Losslessly reserialize PDF structure and report the actual size change; images are not downsampled.