Show diff pdf textual and graphical percentage

Also new options (default turned off) to diff PDFs graphically.