[graph-tool] strongly connected components