[kosaraju_scc] Add Kosaraju's two pass algorithm for SCCs.

Computes strongly connected components of directed graphs in time
linear in the number of nodes and edges.