first functional version of library calls

src/avatartranslator/AvatarLibraryFunction.java

src/avatartranslator/AvatarLibraryFunctionCall.java

src/avatartranslator/AvatarStateMachineOwner.java

src/avatartranslator/AvatarTermFunction.java

src/avatartranslator/AvatarTuple.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/CorrespondanceTGElement.java

src/ui/TGComponent.java

src/ui/avatarbd/AvatarBDBlock.java

src/ui/avatarbd/AvatarBDLibraryFunction.java