Adding a new WebSocket.webidl and websocket.rs file