Update README. Remove old EBNF.