changes to http_loader.rs, WebSocket.webidl, websocket.rs