Update and fix Diplodocus Security Tests

src/main/java/tmltranslator/TMLTextSpecification.java

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

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

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

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

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

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

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

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

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

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

...DiplodocusSecurityTest/Models/ITSDemo/Architecture/golden

...docusSecurityTest/Models/ITSDemo/Architecture/spec.tarchi

...lodocusSecurityTest/Models/ITSDemo/Architecture/spec.tmap

...plodocusSecurityTest/Models/ITSDemo/Architecture/spec.tml

...curityTest/Models/ITSDemo/Architecture_enc_or/spec.tarchi

...SecurityTest/Models/ITSDemo/Architecture_enc_or/spec.tmap

...sSecurityTest/Models/ITSDemo/Architecture_enc_or/spec.tml

...odocusSecurityTest/Models/ITSDemo/Architecture_hsm/golden

...sSecurityTest/Models/ITSDemo/Architecture_hsm/spec.tarchi