Names are now case insensitive.

This should address issue #17. Names are stored in the server dict as lowercase and another user cannot take a different casing of that same name. However, a user may change their name to a different casing of their own name.