jenkins + opam