ruby w3c ebnf to bnf conversion tool