replace glpk-maxsat with glpsol-maxsat in README