Jenkins for PHP Continuous Integration