Small change: state heading in .output file

[Hans Aberg]

Perhaps the state heading for each state in the .output file should changed
from
    state nn
to
    State nn
One can then, by a search (without using regular expressions), jump
directly to the state. It also makes the heading consistent with the other
headings (Grammar, etc.). (For the change, alter the fprintf() in
print_state() in print.c file.)

  Hans Aberg