added rules numbering for preservation of rule order in the source file
initial code of Hopcroft's DFA minimizer (ported from GATE's JAPE+)
refactor minimization code