option to disable bots on server + disable bots on any dedicated server due to #2540
Merge pull request #2845 from ihptru/bots

option to disable bots on server + disable bots on any dedicated server