Reworked how security pragmas are handled by the drawing of avatar specs

modeling/AVATAR/CoffeeMachine_Avatar.xml

modeling/SysMLSec/AliceAndBob.xml

src/main/java/avatartranslator/AvatarPragma.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/tmltranslator/toavatar/FullTML2Avatar.java

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

src/main/java/ui/AvatarDesignPanelTranslator.java

src/main/java/ui/AvatarPanelDrawer.java