Make git-mailinfo a builtin