opam: add constraint: tyxml >= 3.1.0
Jenkins: install camlzip