I\'m looking for a Linux command line tool to compare two PDF files and save the diffs to a PDF outfile. The tool should create diff-pdf\'s in a batch-process. The PDF files