Trait-based Strongly Connected Components Calculation

Based on Tarjan's SCC algorithm. Just implement the Scc trait on your graph type to be able to compute the SCC in linear time.