Initial web socket API.

This PR is to a `websocket` feature branch for later merging into `master`.
Yes. They are individual opcodes (and are the only two currently available).