A simple tool to strip junk out of your PDF files