[gram.key] Remove unreferenced original-namespace-name nonterminal.

Author: Eelis

source/grammar.tex

@@ -35,9 +35,6 @@
 	identifier\br
 	namespace-alias
 
-original-namespace-name:\br
-	identifier
-
 namespace-alias:\br
 	identifier
 \end{bnf}

tools/grambase.tex

@@ -35,9 +35,6 @@
 	identifier\br
 	namespace-alias
 
-original-namespace-name:\br
-	identifier
-
 namespace-alias:\br
 	identifier
 \end{bnf}