Add -allow-unreleased-menhir

[JasonGross]

This will allow https://github.com/coq/opam/tree/master/extra-dev/packages/coq-compcert/coq-compcert.dev to drop the patch that makes ./configure compatible with unreleased / dev versions of menhir.