GitLab

also, require to list all write/read effects whenever
at least one is listed

fix hashtbl_impl, mergesort_queue, and unraveling_a_card_trick

they now live in examples/tests/

also, simplify bench/bench script

the type alias "type unit = tuple0" goes into tasks and
therefore should be retrievable via Env

in three cases, we use a proof by an earlier version of Alt-Ergo
as a sample for bisection and then reprove it with other provers.

Also, moved all sessions in theories/ and modules/ to
tests/theory-sessions/. These sessions are not replayed
by nightly-builds and should not be distributed.
Please, do not run why3ide on the standard library files,
make separate files in examples/ using those theories, or
just realize them in Coq. Don't clobber the loadpath.

we really, really should implement blacklists in drivers

- recognize versioned executables
- mark old versions as old
- mark all Simplify versions old
    and I'd like to get rid of it completely