Adding a new webidl and websocket.rs file