bump MathProgBase. new syntax for choosing solvers