mergetool: print an appropriate warning if merge.tool is unknown