Merge branch 'counter-examples'

examples/tests/cvc4-models.mlw

src/core/ident.ml

src/core/ident.mli

src/core/model_parser.ml

src/core/model_parser.mli

src/driver/parse_smtv2_model_lexer.mll

src/driver/parse_smtv2_model_parser.mly

src/transform/eval_match.ml

src/transform/intro_projections_counterexmp.ml

src/whyml/mlw_wp.ml