Adding robust OCP example
Repair option helpers
quad_form: align with cvxpy convention

quad_form(x,A):  x.T A x
Documentation of Lyap solvers