Add debugging output to jenkins.sh