Add support for specifying websocket port in the manifest.

[test]