opam
Introduce .jenkins.sh