Introduce WebSocket pings #26
Description
Currently, a WebSocket connection may silently die and the user won't know about this until they try to do something that causes data to be sent to the WebIRC server, at which point the client is disconnected until it tries to reconnect in 3 seconds. Pings would make this experience smoother.