a shell script to diff pdfs