Changes to mute/ban/kick buttons

- mute/ban/kick buttons are now only shown if the user can use the
  corresponding command. This determination is based on the permissions
  in use on the main server (and hardcoded as such) because the server
  does not currently send the client any information about permissions.
  In particular, regular users will no longer see the buttons when
  viewing their own profile.

- there is now a blank line between a user's IP address and the auth
  buttons.