git: Remove unused merge.tool