New Menhir version that installs properly.

Apparently it's impossible to change files/menhir.install without bumping the
version number, so I'm doing an entire new package, which installs properly this
time.
Merge pull request #1089 from protz/my

New Menhir version that installs properly.