Adding a new webidl and websocket.rs file

Closes #3813.