UPPAAL Pragma support

src/avatartranslator/AvatarSpecification.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/IconManager.java

src/ui/MainGUI.java

src/ui/TGComponentManager.java

src/ui/TGUIAction.java

src/ui/avatarbd/AvatarBDSafetyPragma.java

src/ui/avatarbd/AvatarBDToolBar.java

src/ui/window/JDialogSafetyPragma.java

src/ui/window/JDialogUPPAALValidation.java