Merge branch 'bobot/for_master' into 'master'

src_colibri2/core/egraph.ml

src_colibri2/core/egraph.mli

src_colibri2/core/events.ml

src_colibri2/core/events.mli

src_colibri2/core/ground.ml

src_colibri2/core/ground.mli

src_colibri2/core/interp.ml

src_colibri2/core/interp.mli

src_colibri2/popop_lib/IArray.ml

src_colibri2/popop_lib/IArray.mli

src_colibri2/popop_lib/bag.ml

src_colibri2/popop_lib/bag.mli

src_colibri2/popop_lib/lists.ml

src_colibri2/popop_lib/lists.mli

src_colibri2/stdlib/wto.ml

src_colibri2/stdlib/wto.mli

src_colibri2/tests/generate_tests/generate_dune_tests.ml

src_colibri2/tests/solve/dimacs/sat/dune.inc

src_colibri2/tests/solve/dimacs/unsat/dune.inc

src_colibri2/tests/solve/smt_adt/sat/dune.inc