Refactoring ProVerif results to be objects instead of strings

src/avatartranslator/AvatarAttributeState.java

src/avatartranslator/AvatarPragma.java

src/avatartranslator/AvatarPragmaAuthenticity.java

src/avatartranslator/AvatarPragmaReachability.java

src/avatartranslator/AvatarPragmaSecret.java

src/avatartranslator/toproverif/AVATAR2ProVerif.java

src/proverifspec/ProVerifOutputAnalyzer.java

src/proverifspec/ProVerifQueryAuthResult.java

src/proverifspec/ProVerifQueryResult.java

src/tmltranslator/TMLModeling.java

src/tmltranslator/toavatar/TML2Avatar.java

src/ui/AvatarDesignPanel.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/avatarsmd/AvatarSMDState.java

src/ui/window/JDialogProverifVerification.java