Adding constants to avoid duplicating the location of the jenkins server...

... accross files.