travis install glpk and glpk-java