ocaml version contraint
Merge pull request #653 from c-cube/master

zipperposition 0.2: ocaml-version added