New GitDiff plugin

Highlights differences against git repo in source editor