Command-line tool to inspect the difference between (the text in) two PDF files