Makefile.menhir: some tokens are unused for decent reasons
Makefile.menhir: some tokens are unused for decent reasons

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