Add EBNF

I believe it is essential for TOML to have a formal EBNF specification to avoid ambiguities.