Adding invariant computation

Makefile

src/Main.java

...lator/directsimulation/AvatarSpecificationSimulation.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/avatartranslator/totpn/AVATAR2TPN.java

src/myutil/IntMatrix.java

src/myutil/MyMath.java

src/tpndescription/Place.java

src/tpndescription/TPN.java

src/tpndescription/Transition.java

src/ui/AvatarDesignPanelTranslator.java

src/ui/GTURTLEModeling.java

src/ui/JMenuBarTurtle.java

src/ui/JToolBarMainTurtle.java

src/ui/MainGUI.java

src/ui/TGUIAction.java

...eractivesimulation/JFrameAvatarInteractiveSimulation.java

src/ui/window/JDialogInvariantAnalysis.java