Add "Change username" feature to account page.

[kw]

Sometimes people don't quite get their usernames right on the first try, particularly if they use the Google or Discord sign-in links to create their account. Support changing it.