Added Tarjan's algorithm for strongly connected components.