Added .mailmap file

This allows to coalesce commits by the same person in the git shortlog,
where their name and/or email address was spelled differently.

The git shortlog can then be used to populate the CREDITS file's
"Contributors" section