Add .mailmap file to get git-shortlog(1) right

The commit history contains several different email addresses for
Richard Hartmann, add .mailmap to map them all into one.