Shell scripts to manage servers, download distributions, ... everything needed for integration automation.