Project implementing Kruskal's algorithm on weighted undirected graphs