Add .mailmap for git shortlog -nse

[JasonGross]

The name & email used is on the left, please request changes / make a suggestion if you want a different email address to show up for git shortlog -nse. Most of the choices here were taken from https://github.com/coq/coq/blob/master/.mailmap, though I made educated guesses for some of them.