[Why3] Fix OCamlPro/opam#577

configure.in was patched instead of configure so autoconf was needed.