add menhir dependency to README