new module ClifModuleSet introduced, which collects all the ClifModules
of a single ontology.  Most of the functions have been adapted from
ColoreProver.
Still work in progress.