Everything related to running the continuous integration server Jenkins