opam: add constraint: tyxml >= 3.1.0