Add getInferredAxioms() method for DNF-style axioms - very ugly code
Add new test case for getInferredAxioms - does NOT actually test result, only invokes method
Merge branch 'master' of https://github.com/aehrc/snorocket

Conflicts:
	snorocket-core/src/main/java/au/csiro/snorocket/core/NormalisedOntology.java
	snorocket-core/src/main/java/au/csiro/snorocket/core/SnorocketReasoner.java