Repair feature implementation

When the debugger proposes a diagnosis to the user there should be a button or modal dialog which offers the user the possibility to "repair" the ontology at once. "Repair" in this sense means that all logical axioms proposed in the diagnoses are removed at once from the ontology.

Since diagnoses mostly contain more than one axiom it is difficult to delete the axioms manually one after one from the ontology because after selecting one axiom and deleting it from the ontology, the debugger automatically resets and loses the other found axioms from the diagnosis..