Name change

Let all users change their names.

* techers can change their names indefinitely
* students can change names only once, thereafter, admin must intervene
* admin can reset user preferred name after searching their username

Only do the name swap if it hasn't yet been done;
Don't do it for teachers.