update to 4.0.0 (alpha snapshot, tentative)

I've attempted to update HermiT to use version 4 of the OWL API - it is still alpha, so this is not definitive. Mostly for feedback.