Merge branch 'remove-gmlmip'

INSTALL

_oasis

src/coalg/coalg.ml

src/lib/CoAlgLogics.ml

src/lib/GMLMIP-0.1/.gitignore

src/lib/GMLMIP-0.1/README.txt

src/lib/GMLMIP-0.1/config.mk

src/lib/GMLMIP-0.1/formulas/GML_formula.c

src/lib/GMLMIP-0.1/formulas/GML_formula.h

src/lib/GMLMIP-0.1/formulas/PML_formula.c

src/lib/GMLMIP-0.1/formulas/PML_formula.h

src/lib/GMLMIP-0.1/formulas/formula.c

src/lib/GMLMIP-0.1/formulas/formula.h

src/lib/GMLMIP-0.1/formulas/makefile

src/lib/GMLMIP-0.1/formulas/rational.c

src/lib/GMLMIP-0.1/formulas/rational.h

src/lib/GMLMIP-0.1/formulas/satisfyingassignment.c

src/lib/GMLMIP-0.1/formulas/satisfyingassignment.h

src/lib/GMLMIP-0.1/input

src/lib/GMLMIP-0.1/main.c