Add tools to reduce PDF file sizes.

Includes:

• Resizing and compressing images
• Use PDF compression
• Stripping of embedded fonts