Update gen_contrib.py to match current contributors.py
Now manage.py gen_contrib
generates a contributors.py matching the
already existing format. It normalizes names to make the list more
enjoyable.
Before using this to seriously generate contributors.py we need to figure out a way to add pseudo names, or tell everyone to change their name on GitLab.