README: Menhir dep