[tor-commits] [flashproxy/js] Add make_websocket function.