Move sources of coalg to src subfolder

INSTALL

src/ALCFormula.ml

src/ALCFormula.mli

src/ALCGraph.ml

src/ALCGraph.mli

src/ALCMisc.ml

src/CoAlgFormula.ml

src/CoAlgFormula.mli

src/CoAlgLogicUtils.ml

src/CoAlgLogicUtils.mli

src/CoAlgLogics.ml

src/CoAlgLogics.mli

src/CoAlgMisc.ml

src/CoAlgMisc.mli

src/CoAlgReasoner.ml

src/CoAlgReasoner.mli

src/CoolUtils.ml

src/CoolUtils.mli

src/GMLMIP-0.1/.gitignore

src/GMLMIP-0.1/README.txt