UPDATE ib AVATAR: ProVerif analysis of Authenticity

src/Main.java

src/avatartranslator/AvatarActionOnSignal.java

...lator/directsimulation/AvatarSpecificationSimulation.java

src/proverifspec/ProVerifOutputAnalyzer.java

src/ui/window/JDialogAvatarSimulationGeneration.java

src/ui/window/JDialogProVerifGeneration.java