added that we use GLPK and how to install from git