Added typedef for state_hash_t
Changed the hash_function of NamedStates to use the one provided by std for strings
Added a set of states to finite_states.h for quickly finding a state
Fixed some bugs on FiniteStates