Update counterexample doc
Update the counterexamples doc (which is apparently outdated).
This should include API description and how to run counterexamples for tools using Why3 (Spark etc).
Update the counterexamples doc (which is apparently outdated).
This should include API description and how to run counterexamples for tools using Why3 (Spark etc).