Adding constants to avoid duplicating the location of the jenkins server accross files.
Merge branch 'master' of https://github.com/PierreReliquet/jarvis