added menhir as a dependency