Adding a quadratic program solver using the ADMM technique of Boyd et al.