Randomize jenkins http port for systests

This commit adds an http_port variable to JenkinsLaunch which is randomly assigned a number between 9000 and 10000. This variable is then used when starting jenkins.war and during setup of the BaseSystemTest class.