rename state coloring method
add state color flags
add state_alloc_local_flags function
add free local flags procedure in state_free
add mcdfs_start function
add cyan coloring procedure
change cyan coloring procedure position
implement mc_blue_dfs
move stack manipulation functions to mc_generator.h from mc_generator.c
detect accepting cycle using cyan color
fix blue dfs bug and implement red dfs
add lock procedure when state is expanded
implement shuffle function to select successors
add timer for lock
Merge pull request #2 from ryysd/mcndfs

Mcndfs