Compress PDF file

Reduce file size while optimizing for maximal PDF quality.