[NEMO-EXTRACTOR] Check if proof needs unsupported DL constructors

[maphih]

investigate if there is a way to check if a proof needs unsupported DL constructors (negation, value restr., ... ) before generating the proof.
Ideally in IProofGenerator.supportsProof().

ideas:

• compute justifications and check all facts
• Elk reasoner ( method entails() )

[maphih]

this is probably only possible by using an additional reasoner (ELK, HERMIT).
Implement together with #2 .
For now a ProofNotSupported Exception is thrown when coming across not supported constructors while proof parsing or the requested axiom cant be derived by Nemo.