Adds a config value for the websocket port