Mailmap: fix my name and email addresses for git.

This pull request isn't as useful as it could be, but it's important for me.