Changed the InformationController to dynamically retrieve the server port number used for the websocket url.
Merge branch 'master' of https://github.com/WISE-Community/WISE-Portal