Update mailmap

Link to the dedicated mailmap documentation (which was split out of git-shortlog(1) some releases ago), and shorten the entries – as far as I can tell, we only need to fix the email address, the name was always set correctly. (I’ve tested this by running git shortlog -se before and after this change and comparing the output – no change.)