Issue #131 + code cleanup

src/main/java/proverifspec/ProVerifOutputAnalyzer.java

src/main/java/tmltranslator/TMLModeling.java

src/main/java/tmltranslator/toavatar/TML2Avatar.java

src/main/java/ui/AvatarDesignPanel.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/window/JDialogProverifVerification.java