[Why3session output] add command
@marche A command for outputting the prover file in batch. (for example for generating benchmarks for provers)
@marche A command for outputting the prover file in batch. (for example for generating benchmarks for provers)