Completely random strings, fix username collisions

No pickled names anymore, and usernames now don't imitate the email
domain address of a certain liberal arts college. You still shouldn't
use this on production, of course.