MRG Remove redundant constraint in LP construction, get rid of GLPK

This PR removes the dependence on GLPK for linear programming inference.
This has been paining me a lot in the past. Reviews would be great.

This is one issue that users frequently ran into (most recently a JMLR reviewer).
This PR should greatly simplify installation for those systems where cvxopt does not come with glpk by default.