Make jenkins port configurable
Merge pull request #690 from njam/jenkins-port

Make jenkins port configurable