Github Commit Diff

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

As of 14. 09. 2018. See the latest version.