- The benchmark now accept TIMEOUT=10s to fix the maximum
running time of each test.
- The output is the same, whatever the experience considered
- The logs file are now displayed with then \cr\n

* benchs/run-ltl-bb.sh,
benchs/run-ltl.sh,
benchs/run-reach-bb.sh,
benchs/run-reach.sh: Here.