git-gui: open file with GIT_EDITOR