Adding a new webidl and websocket.rs file
auto merge of #4096 : servo/servo/websocket, r=Ms2ger

Closes #3813.