Merge branch 'labsoc_sec' into 'master'

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java

src/main/java/dseengine/DSEConfiguration.java

src/main/java/proverifspec/ProVerifOutputAnalyzer.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/TMLTextSpecification.java

src/main/java/tmltranslator/toavatar/TML2Avatar.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/HSMGeneration.java

src/main/java/ui/SecurityGeneration.java

src/main/java/ui/tmlad/TMLADWriteChannel.java

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