Use git shortlog to create a list of contributors
that are not yet included in CONTRIBUTORS.rst
The email address is taken as definitive.
People with the same name, but different email addresses
are supported.
Aliases, different email addresses for the same person,
are handled by git with .mailmap