Tools used to configure the Jenknis continuous integration server.