Remove superfluous argument to menhir.
Remove superfluous argument to menhir.

Now don't need a menhir installation in the tools directory,
anymore. Instead can use the default one on the system or the one in
tools.

sheijk/Zomp,sheijk/Zomp,sheijk/Zomp,sheijk/Zomp,sheijk/Zomp