Changes in version 1.2
Added the command line option -k, for keeping the state names used in the
JFLAP file. The default behavior is to replace the state names with names of
the form '$q_{id}$', where id is the unique state number. When using this
option state names will not be sanitized and thus may contain invalid TeX.
