Bot adjustments

This MR does two things:

• Remove bots from the current player count, as well as from the maximum player capacity of the server, whenever they are present. This only affects the display on the in-game server browser and any Master Server webviews, but bots continue to occupy player space.
• Automatically append a blue [BOT] tag to the end of bots' names in netgames. This means that bot names can be 16 characters long at maximum.

There is also a slight change to how bots are named when a name is not provided: the bot just takes the realname of the selected skin.