Separate cool into library and coalg frontend

_oasis

src/Makefile

src/coalg/coalg.ml

src/lib/ALCFormula.ml

src/lib/ALCFormula.mli

src/lib/ALCGraph.ml

src/lib/ALCGraph.mli

src/lib/ALCMisc.ml

src/lib/CoAlgFormula.ml

src/lib/CoAlgFormula.mli

src/lib/CoAlgLogicUtils.ml

src/lib/CoAlgLogicUtils.mli

src/lib/CoAlgLogics.ml

src/lib/CoAlgLogics.mli

src/lib/CoAlgMisc.ml

src/lib/CoAlgMisc.mli

src/lib/CoAlgReasoner.ml

src/lib/CoAlgReasoner.mli

src/lib/CoolUtils.ml

src/lib/CoolUtils.mli