N211-037 refactoring
N211-037 refactoring

extract code to compute the actual command

* call_provers.ml
(actual_command): new function to compute the command string
(prover_on_file): call extracted function

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3