Revert "Merge branch 'avatar_security_tests' into 'master'"

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/TMLTextSpecification.java

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

src/main/java/ui/MainGUI.java

ttool/src/test/java/test/AbstractTest.java

...l/src/test/java/tmltranslator/DiplodocusSecurityTest.java

ttool/src/test/java/ui/AvatarSecurityTests.java

...docusSecurityTest/Models/AliceAndBobHW/KeyExchange/golden

...or/DiplodocusSecurityTest/Models/AliceAndBobHW/Mac/golden

.../DiplodocusSecurityTest/Models/AliceAndBobHW/Nonce/golden

...cusSecurityTest/Models/AliceAndBobHW/SampleAutoSec/golden

...SecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tmap

...sSecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tml

...ecurityTest/Models/AliceAndBobHW/SymmetricExchange/golden

...tyTest/Models/AliceAndBobHW/SymmetricExchange/spec.tarchi

...ator/DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/golden

...DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/spec.tarchi

...r/DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/spec.tmap

...or/DiplodocusSecurityTest/Models/ITA01_v6/mapAtt/spec.tml

...odocusSecurityTest/Models/ITA01_v6/mapNoProtection/golden