Alt-Ergo benchmarking tools : An attempt to make alt-ergo benchmarking easier. Try digging more into shexp (currently using unix, Sys and curses) Went for feather instead ... need to see shell scripting in ocaml