-- improve configure and Makefile and start implementing support for GLPK