Extend the git GUI by diffs

[eugenk]

As a follow-up on #57, add a diff GUI. diff2html might be a good resource for this task.