Added cancellation to SteinerTree, generalized from Set to Collection, added testing of terminals connectivity in Steiner tree, added increment progress ability