New: console command to report bot count on the server. Tests: loaded into 3.5k procgen world and used the command