Update .jenkins.sh
Update .jenkins.sh

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