Update .jenkins.sh and opam