Shell stuff and config files for installing Jenkins CI server for php projects. Please refer to http://jenkins-php.org/