function: add_to_dstates
Description: Takes as input a CBunch with details of
a dfa state that needs to be created.
1) Allocates a new dfa state and saves it in
the appropriate CSpec vector.
2) Initializes the fields of the dfa state
with the information in the CBunch.
3) Returns index of new dfa.