Mapping contributors to Github IDs
Some of the contributors to this repository used different, local
email addresses linked to their commits.
I added a .mailmap file which matches these to their actual
Github IDs so their contributions are linked appropriately.