Compress PDF files

Reduce file size while optimizing for maximal PDF quality.