Lazy support function for lazy operations

[schillic]

For the following lazy operations, the support function is easy to define recursively, without falling back to the support vector:

• LinearMap #715 - Support function for LinearMap #716
• ExponentialMap #715 - Add some ρ's #717
• MinkowskiSum#715 - Add some ρ's #717
• MinkowskiSumArray #715 - Add some ρ's #717
• ConvexHull #715 - Add some ρ's #717
• ConvexHullArray #715 - Add some ρ's #717
• CartesianProduct #715 - ρ for CartesianProduct(Array) #719
• CartesianProductArray #715 - ρ for CartesianProduct(Array) #719

We need this for operations such as Intersection where we do have an implementation of the support function but lack an implementation of the support vector.

(This is orthogonal to #600.)

[mforets]

For CartesianProduct and CartesianProductArray, formula (1.4) here is just the fallback implementation using the support vector. For this reason i suggest not to add anything.

[schillic]

For CartesianProduct and CartesianProductArray, formula (1.4) here is just the fallback implementation using the support vector.

It looks to me as if it can be defined as the sum (exactly like the support function of the Minkowski sum). Correct? See #719.

[mforets]

Correct! Thanks for adding it.