RFC: semidefinite

Pretty small interface, really. Solvers only seem to support primal form, so any transformations should be done at the JuMP level.

@IainNZ @mlubin