Add a script for shrinking PDF file size