Sort case-insensitively. Track commits/issues. Drop gitter-badger robot. Improves #289.
Following #283.
This is my best effort at tracking roles from GitHub history, and assembling them with a new script, "ghizmo assemble-authors". Please let me know if you've been missed!