make usernames case insensitive

I think that most users might expect their username to be case insensitive. Sadly one of the consequences of the monocultures.

(from redmine: created on 2012-12-18, closed on 2013-09-30)

• Relations:
  • child #3682 (closed)