Implement a basic WebSocket interface.
auto merge of #4096 : servo/servo/websocket, r=Ms2ger

Closes #3813.