Add package for the model checker cubicle
specify ocaml version
Merge pull request #2422 from mebsout/master

Add cubicle 1.0