install glpk-4.45 in travis and use ab93791c60e469e717fa5cde751f697415906a7d commit in optlang