Make git-merge-one-file a builtin