Compress PDF files on Linux

Several ways to shrink large PDF files on Linux.