Fix #123: Alphabetize the user roster.

Instead of adding users to the end of the roster, they are now
inserted according to alphabetic (case-insensitive) order.