Ability to configure websocket url

It's possible I just can't find it, however it would be nice to be able to configure the websocket connection url.

If you're using a cloud IDE, ports are usually exposed by a url such as \-\.cloud-ide.com, rather than host:\

For example, if you're using gitpod.io, you might be exposing port 5000 on `https://5000-bd966c71-8ca6-4d11-b180-fd86e410dc99.ws-us0.gitpod.io/`, and the websocket on `https://25222-bd966c71-8ca6-4d11-b180-fd86e410dc99.ws-us0.gitpod.io/`.

Hyperstack tries to connect to `https://5000-bd966c71-8ca6-4d11-b180-fd87e410dc99.ws-us0.gitpod.io:25222` by default.