Support for GLPK down to version 4.40
Merge branch 'master' of ssh://github.com/krishauser/KrisLibrary
Merge branch 'master' of ssh://github.com/krishauser/KrisLibrary
Merge branch 'master' of ssh://github.com/krishauser/KrisLibrary
Fixed GLUI include path