user_toknums' is output as a short[]' in `output.c', while it is

defined as a `int[]' in `reader.c'.  For consistency with the
other output tables, `user_toknums' is now defined as a table of
shorts.

* src/reader.c (user_toknums): Be a short table instead of an int
table.
Adjust dependencies.

Factor the short table outputs.

* src/output.c (output_short_table): New function.
* src/output.c (output_gram, output_stos, output_rule_data)
(output_base, output_table, output_check):  Use it.

src/main.c

@@ -35,6 +35,8 @@ static int failure;
 /* The name this program was run with, for messages.  */
 char *program_name;
 
+extern void berror PARAMS((const char *));
+
 extern char *printable_version PARAMS ((int));
 
 extern void openfiles PARAMS ((void));