Add a .mailmap file for Git's benefit