Renaming users to administrators

The more I went on, the more silly it seemed to call our administrators
'users' when customers are also users. So I've renamed all instances of
'user' to 'administrator'