First AVATAR to TIF support

src/translator/TURTLETranslator.java

src/ui/AvatarDesignPanel.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/AvatarSignal.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/avatarbd/AvatarBDPortConnector.java

src/ui/avatarsmd/AvatarSMDState.java

src/ui/window/JDialogModelChecking.java

src/ui/window/JDialogSelectAvatarBlock.java