fix a bug in PolynomialProgram, that it cannot actually set solver