(WIP) continued dyck words & Warshall algorithm
Dyck words example completed (thanks to Martin)
new example: Warshall algorithm
Give a git-like invocation to why3 tools.
update drivers and example mp after last Why3 GT
Add a "prove" subcommand.
fix the TPTP TFA drivers
fix the pretty-printing of custom reals in TPTP
fix the fix in e548a9c5d
Number: always print something after the decimal point
WhyML: marks are ghost
Factor option parsing for why3 commands.
Make --realize into a proper subcommand.
Simplify code for why3realize.
Improve why3realize --help.
Partly adapt the bench to the new commands.
Add an extract command to why3.
Display available commands by default.
Add a why3execute command.
Fix bench.