This reduces the differences between why3server of Adacore (which is known
to be working on Windows) and why3server of Why3.

Recovered src/driver/prove_client.ml whose version from Adacore is not
suitable on Why3 side.