BotManager: Fix killing named bots using the GUI
BotManager: Release version 8.0