Added BNF for Tox URI scheme.

Modified BNFs for Tox DNS URI scheme.
Removed unnecessary nonterminals and definitions, removed unnecessary
logic from language definition.