libglpk-java in travis