remove the menhir benchmark (the yacc parser is gone)
remove the menhir benchmark (the yacc parser is gone)

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml