Add a .mailmap file

This file is used for example by command "git shortlog", to prevent duplicate
committers.