jenkins.sh: install camlp4