Add 'kosaraju_sharir'.

Add ability to find strongly connected components.
Add 'reverse' function to return new graph with reversed edges.