Fix backtracing authenticity and mapping nonce channels

src/main/java/tmltranslator/TMLModeling.java

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

src/main/java/ui/SecurityGeneration.java

src/main/java/ui/tmldd/TMLArchiCommunicationArtifact.java