Allow Coq proof using why3prove only
It could be useful to allow doing Coq proof from the command line with Why3prove in the following way:
why3prove -P coq foo.mlw -o bar
coqide -R path_to_why3 Why3 bar/*.mlw
why3replay foo
The only missing piece seems to be that why3prove does not update the session in the first step.