Add additional information during the search for repairs/queries

Here we have a missing info if the ontology is consistent or coherent.

This info was generated by a previous progress dialog which disappeared too fast to inform the user. This info however might be of interest, especially when the search for repairs takes a longer time.