add bindings to QSopt_ex aka esolver

The solver uses cglpk to construct the problem and write out an LP, and
the command line interface to esolver is used to solve it. Esolver can
use rational math to solve an LP exactly.