This is to fix the output of `git shortlog` and `git check-mailmap`.

I only added names and addresses for developers with a very large
number of commits. It could be improved to add more.