menhir: Adding version 20130116 (fix --depend)
Merge pull request #884 from nbraud/menhir

menhir: Version bump to 20130116 (fix --depend)