Added user selectable port number.

Dynamically changes port numbers in javascript code either as it is
instrumented or as it is served (jscoverage.js)