add menhir dependency