Add an explanation text to the repair interface

When presenting the user the repair interface, we should explain the user the features in a helping text at the top of the dialog before the Repair field containing the axioms to be repaired thus improving the usability.