Add Menhir as a dependency.