Add a mailmap file

There are several commits from the same author but with different email addresses. It is handy to map all of them into the same author so that the information is displayed properly.