jenkins.sh: install camlp4
jenkins.sh: install camlp4

c-cube/lwt,rgrinberg/lwt,mfp/lwt,mfp/lwt,rgrinberg/lwt,ocsigen/lwt,c-cube/lwt,fdopen/lwt,rneswold/lwt,ocsigen/lwt,mirage/lwt,rneswold/lwt,rgrinberg/lwt,ocsigen/lwt,fdopen/lwt,c-cube/lwt,mirage/lwt,rgrinberg/lwt,rneswold/lwt