websocket server is inefficient

[jkuszmaul]

Currently, the websocket server (ui/server.*) seems like it is probably doing too much at runtime.

This is probably mostly a function of sending things back and forth as JSON and the parsing associated with that, but it could be due to the internals of the websocket code.

Also, the build time for the current websocket code is irritatingly long, as it has to build openssl, even though we don't actually use it. Cutting out this dependency would be valuable.