Adding draw avatar model from proverif window

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/proverifspec/ProVerifOutputAnalyzer.java

src/main/java/tmltranslator/TMLChannel.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/toavatarsec/TML2Avatar.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/tmlcompd/TMLCPrimitivePort.java

src/main/java/ui/window/JDialogProverifVerification.java