Changed the generic graph representation to a list of edges (to avoid some ambiguities).
Also discarded the random graph generation via infinite streams, due to the risk of not terminating).
It is replaced by shuffling.
Some refactoring as response to the changes in Graph/Common.hs.