Fixing the schduling of pings.

Instead of scheduling all of the ping servers at once, the ping commands are scheduled one at a time, so that
the bot can respond to commands between pings where possible.