enhance diplodocusSecurityTest to be reused

ttool/src/test/java/pragmasmodel/AliceAndBobPragmasTest.java

...st/java/pragmasmodel/AvatarNetworkProjectPragmaTests.java

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

...sources/pragmasmodel/AliceAndBobHW/SymExchangeArch/golden

...urces/pragmasmodel/AliceAndBobHW/SymExchangeArch/spec.tml

...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

...iplodocusSecurityTest/Models/AliceAndBobHW/Nonce/spec.tml

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

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

...rityTest/Models/AliceAndBobHW/SymmetricExchange/spec.tmap