Renaming toavatar package

modeling/DIPLODOCUS/SmartCardProtocol_sec.xml

modeling/SysMLSec/at_zeuszitmo.xml

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

src/main/java/tmltranslator/toavatarsec/TML2AvatarDP.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/HSMGeneration.java

src/main/java/ui/MainGUI.java

src/main/java/ui/SecurityGeneration.java

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