Merge branch 't/16490/create_a_linear_programming_backend_for_cvxopt'
added sdp and cvxopt backend files
generic_sdp_backend ready
removed the boolean, int and cont variables
getting closer
add linear sdp functions