Allow to specify a specific filename for the proofscript
It reverts a part of this previous commit d010b154 (the removal of the save_to
argument).
This argument is actually necessary for use cases of Why3 as a library.
Moreover, a more explicit name for this argument could be proof_script_filename
.