[Pierre-Marie Baty]

Mainly people who run bots on a DEDICATED server may be interested in this feature.

I've updated the bot again. I've put in a hack to make the bots be added from the config file after a changelevel command. But I don't guarantee this command will not cause problems in the future ! In short: if it works, fine. If it doesn't, don't complain.

I've also modified the way the addbot code works so that bot skills are displayed when you enter the bot names manually. I had to change a few things. I hope it will make KWo happy at last.