changed DijkstraGraph.DijkstraVertice : toString ;
refactored ContractionGraph : added leaderEquals and setMergedTo