Compress PDF file

Reduce file size while keeping maximal PDF quality.