made kktsolver and refinement cvxopt solver options
added upper_tri atom