Menhir parsing generator (unofficial personal repository)