Install script to setup Jenkins for PHP development on Debian