tweak index.html to determine websocket server location instead of hardcoding it