Started out adding an email message to users whenever their email

address is changed by an admin, but in the process I decided to
implement the entire operation in the backend, since that is what we
want to do anyway for all operations. Email is sent from the backend
script as well.