restore websocket_url configurable

allows ws to be handled via separate proxies, as appears to be the case on OpenShift and some other hosting services.

closes #6001