WebSocket extension for WEBrick