IMPROVE git mergetool