Add server portnumber constant to the report

The port that the server listens to may change. The document has therefore been supplied with a constant, \serverPort, that can be used to refer to the server port. It may be set at the beginning of the document.