improved diff tool (better comparison, flip through revisions, ...)