kktsolver that can handle redundant constraints

address:
https://github.com/cvxgrp/cvxpy/blob/master/cvxpy/problems/kktsolver.py