Menhir 20151112 can, in fact, be used to compile Why3. The actual issue was that the error reporting module depends on Menhir's table-based backend, which requires menhirLib. So, the latter is no longer an optional dependency.
