Automatically pick a free port for the websocket

[plexus]

Currently we use a hard coded port, that means only one instance can be active at a time, and that there's a chance of conflict with other tools. Instead we should try random ports until we find one that isn't in use.