renamed disprover -> (dis)prover, remove old strings

de.prob.eventb.disprover.ui/plugin.properties

@@ -7,9 +7,4 @@
 ###############################################################################
 
 tactic.disprover.name = Disprover
-tactic.disprover.tooltip-all = Find counter-examples with ProB
-tactic.disprover.tooltip-config = Find counter-examples with the ProB model checker, after interactive configuration
-tactic.disprover.tooltip-relevant = CAUTION: Find counter-examples with the ProB model checker (Relevant Hypotheses, no Contexts). This may produce invalid counter-examples! 
-tactic.disprover.tooltip-relevant-context = Find counter-examples with the ProB model checker (Relevant Hypotheses, all Contexts).
-
-dropdown.name = Disprover
\ No newline at end of file
+tactic.disprover.tooltip = (Dis)Prove with ProB

de.prob.eventb.disprover.ui/plugin.xml

@@ -23,7 +23,7 @@
             tacticProvider="de.prob.eventb.disprover.ui.DisproverTacticProvider"
             target="global"
             toolbar="org.eventb.ui.sequentToolbar"
-            tooltip="%tactic.disprover.tooltip-all"/>
+            tooltip="%tactic.disprover.tooltip"/>
    <!--      <tactic
             dropdown="de.prob.eventb.disprover.ui.DisproverDropdown"
             icon="icons/disprover-config.png"

de.prob2.disprover.feature/feature.xml

 <?xml version="1.0" encoding="UTF-8"?>
 <feature
       id="de.prob2.disprover.feature"
-      label="ProB for Rodin2 - EXPERIMENTAL Disprover"
+      label="ProB for Rodin2 - EXPERIMENTAL (Dis)Prover"
       version="2.4.0.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">