Redesign of Possible Ontology Repair Headers

Change the layout of the header for Repairs:

• Remove Axioms and Preference Value and create a tooltip like: "This repair suggests to modify or delete these 'nr' axioms in order to fix all problems found in the ontology. The preference value of this repair is 'value'"
• Replace the repair icon with a button "Fix Axioms"