first-order matching may fail because of type matching
fix a soundness bug in transformation compute
fix #17181
remove trailing whitespace
update sessions
update sessions
fix compilation of Jessie3
Compute: provide an empty .mli
Makefile: the clean target

Jacques-Pascal's idea, pushed a bit further
Split_goal: do not preserve match-with on splitting

also remove the deprecated "split_goal" name for "split_goal_wp"
Pattern: try to preserve the initial order of cases during compilation
rename "split_goal" to "split_goal_wp" in session files
repair a broken session
repair some sessions
repair more session
Repair sessions
add -bin-annot for OCaml >= 4.0 (thanks to JP Deplaix)
compute: attempt to rewrite undetermined equalities
compute: more built-in simplifications
jessie3: upgrade to CVC4 1.4