Adding support for validation / verification of attack trees

executablecode/Makefile.src

src/attacktrees/Attack.java

src/attacktrees/AttackNode.java

src/attacktrees/TimeNode.java

src/attacktrees/XORNode.java

src/avatartranslator/AvatarAttribute.java

src/avatartranslator/AvatarType.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/avatartranslator/totpn/AVATAR2TPN.java

src/ui/AttackTreePanel.java

src/ui/AttackTreePanelTranslator.java

src/ui/ColorManager.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TGComponent.java

src/ui/atd/ATDAttack.java

src/ui/atd/ATDConstraint.java

...eractivesimulation/JFrameAvatarInteractiveSimulation.java

src/ui/window/JDialogConstraintText.java