moving owlapi-proofs to a new module inside ELK for the time being