Github Commit Diff

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

Ekde 2014/03/20. Vidu La ĝisdata versio.