Added and modified BNFs

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