Bot control toggle + tweaks

- A bot can now be hidden from the AI's control panel by any authorized
human.  Manually emagging the bot will still disable remote AI control
regardless of the setting.

- The bot control panel now has a refresh button.

- Bugfix for emagging cleanbots. They now require being unlocked and
having an open panel as the others do.