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