Added glpk documentation