Use server port when proxying websockets

[drampelt]

If the server Hotel is proxying to is running on a specific port, that port should be used for websocket connections as well. Otherwise, it connects on port 80 by default. This already worked correctly for HTTP but the port was not being taken into account when using HTTPS.