Updated README with menhir dependency and fixed typo.