Merge pull request #1086 from protz/my

Update menhir.
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.