[Why3] Fix OCamlPro/opam#577: patch the file ./configure instead of ./configure.in
  So ./configure doesn't have to be regenerated which can fail
with old version of autoconf.