Note that this breaks the old REST API, since we now dynamically
connected and disconnect per-websocket.
Tweaks the frontend to provide a connection interface when you load the
page. Note that you must connect EVERY time at the moment, but I'd like
to add some sort of "remember" checkbox.