* Add a script that lists all contributors to a release
We will keep a contributors database (simple JSON file) where
each entry is a contributor (either a committer, either an issue reporter,
either both) with some nicknames (GitHub, and Twitter).
The file will be used to craft credits on our release blog posts and to ping
them on Twitter.
* Add templates
* Missing docstring
* Clean-up
* Tweak
