Add convexity detection routines for nonlinear expressions.

[mewilhel]

• [ ] Add a AbstractCache to store convexity information.
• [ ] Define propagation on standard directed acyclic graph structure for disciplined convex programming.
• [ ] Add interval hessian convexity calculation for nonlinear expressions.