Match.hs now works with a simpler representation: Mapping
removed false export
fixed non exhaustive pattern matching in addNodeMapping
isInjective, isSurjective, findIsoMorphisms
Commit to merge changes.
Merge remote-tracking branch 'origin/mappings'
Plots all graphs as separated images.

The algorithm is correct, but way too slow. A prunning strategy is required.