Replace hard-coded port 80 by $_SERVER['SERVER_PORT']

In order for the demo to work out of the box on a test server (often on a port different from 80 such as 8080), here is a suggestion to default to $_SERVER['SERVER_PORT'] instead of a hard-coded port 80.
Of course, the explicit configuration in parameters.json still has precedence.