Added an implementation of Dijkstra's algorithm

It finds SCCs.  Much faster than the old implementation!