Small changes.
Discarded the idea, that dfs should yield in list of lists (list of spanning trees)
too -- like I did with bfs.