mergetool: Make git-rm quiet when resolving a deleted file conflict