travis: install glpk