tools,doc: fix email matching to be case-insensitive, simplify .mailmap
git
uses case-insensitive matching for email addresses in .mailmap
but our update-authors.js
has been matching case-sensitive, requiring some needlessly specific entries in .mailmap
. Change matching in the script to be case insensitive, and simplify entries in .mailmap
.