FILEREG: .*\.why
CMD: why3 -L ./share/why3 prove -P alt-ergo
OPT:
FILTER: sed -e 's|\(.*\)\( (.*)\)|\1|'
