allow jenkins to run on arbitrary port

basically just update /etc/sysconfig/jenkins with the port number from jenkins_web_port