Adding ability to remove verification results with a new icon

modeling/AVATAR/AirbusDoor_V2.xml

modeling/AVATAR/CoffeeMachine_Avatar.xml

src/main/java/avatartranslator/AvatarStateMachine.java

src/main/java/avatartranslator/AvatarTimerOperator.java

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java

src/main/java/proverifspec/ProVerifQueryResult.java

src/main/java/ui/ActionPerformer.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TDiagramPanel.java

src/main/java/ui/TGComponent.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/avatarbd/AvatarBDPerformancePragma.java

src/main/java/ui/avatarbd/AvatarBDPragma.java

src/main/java/ui/avatarbd/AvatarBDSafetyPragma.java

src/main/java/ui/avatarbd/AvatarBDToolBar.java

src/main/java/ui/avatarsmd/AvatarSMDState.java

src/main/java/ui/avatarsmd/AvatarSMDToolBar.java

src/main/java/ui/tmlcompd/TMLCPrimitivePort.java

...main/java/ui/tmlcompd/TMLComponentTaskDiagramToolBar.java

src/main/java/ui/util/IconManager.java