Add security tests for Avatar and Diplodocus

src/main/java/proverifspec/ProVerifOutputAnalyzer.java

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

src/main/java/ui/tmlcompd/TMLCPrimitivePort.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

...SecurityTest/Models/AliceAndBobHW/KeyExchange/spec.tarchi

...usSecurityTest/Models/AliceAndBobHW/KeyExchange/spec.tmap

...cusSecurityTest/Models/AliceAndBobHW/KeyExchange/spec.tml

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

...plodocusSecurityTest/Models/AliceAndBobHW/Mac/spec.tarchi

...DiplodocusSecurityTest/Models/AliceAndBobHW/Mac/spec.tmap

.../DiplodocusSecurityTest/Models/AliceAndBobHW/Mac/spec.tml

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

...odocusSecurityTest/Models/AliceAndBobHW/Nonce/spec.tarchi

...plodocusSecurityTest/Models/AliceAndBobHW/Nonce/spec.tmap