Small bugfix for graphical provenance +

saving provenance in a format importable by CmapTools