Adding graphs saving support for minimization and test sequences

modeling/DIPLODOCUS/SmartCardProtocol.xml

...a/tmltranslator/tomappingsystemc2/TML2MappingSystemC.java

src/main/java/ui/ErrorHighlight.java

src/main/java/ui/JMenuBarTurtle.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/graph/AUTGraph.java

src/main/java/ui/graph/RG.java

src/main/java/ui/tree/JDiagramTree.java

src/main/java/ui/window/JDialogAvatarModelChecker.java

src/main/java/ui/window/JFrameMinimize.java

src/main/java/ui/window/JFrameRefusalGraph.java