New command: `#dcp_check`

[ramonfmir]

The idea is that it takes an expression and checks its curvature using the DCP rules. Currently, one needs to define a whole problem and apply the dcp tactic.