End of Alg2's implementation. Added classes in ndfs.mcndfs_1_naive : Red and Counter.
The red and counter variables are shared by all the threads. They are hashmaps and contain informations about the states of the graph: red contains for each state a boolean which is true if the state is red, and counter contain for each state a value (int), counting the number of workers that initiate a redDfs.