Git: Discard *.orig after running git-mergetool(1)