Elimination of duplicated variables in gene constraint.
(Would not change behavior of a solver, but now GLPK can be used for gene constraint.)
Minor changes and an option for QP objective function (which is infeasible at this point).