OS X app to slim down the file size of PDF files