A SimplePush server with WebSocket Support