Add more examples

[tcunis]

This is a loose collection of suggested examples from the literature to further the use of sum-of-squares optimization and CaΣoS. Particularly sought after are examples beyond systems theory, analysis, or control.

• Approximation of the Pontryagin difference between semialgebraic sets by Cotorruelo et al.