Fix to lowercase ebnf2ps in doc Makefile.