ebnf.txt : Formal EBNF of valid commands