DiceBot: respond to server pings

Closes #6.