Add getNumBots(). Addresses #48