An automated installation routine for setting up Jenkins CI for PHP projects