#3 visibility of bot-level

[Gerhard Wanner]

It would be helpful to see the level of the bots in the bot-shop. Also sorting the bots in the bot-shop and in the game setup (level/name, ascending) would give a better overview.