Initial version of owl2gen script

This script generates two ontologies (`a` and `b`)
in Functional Syntax using merely ClassAssertion axioms.
Changed order of common and different axioms