Answer a ping with a pong

Websocket clients are supposed to do so.