cleanup DSDP interface
Introducing coptoy: a toy convex optimization tool

At the moment, just recognises SDP problems in naturals notation
Add checks for LBX, UBX, LBA, UBA, LBG, UBG

backportable
Update nlp_codegen.cpp
automatic documentation update
automatic casadibot merge