Update menhir.
Merge pull request #1086 from protz/my

Update menhir.