Github Commit Diff

Adds button to show diff (or patch) file for commit

Per 24-05-2015. Zie de nieuwste versie.