Tools for running and setting up the continuous integration server