add fixed w3c ebnf file and resulting bnf file