[PATCH] git-mergetool: Allow gvimdiff to be used as a mergetool