added checkbox for bots to enable/disable their launch when starting all bots;

added launching Demobuddy to bot context menu.