Integrate polynomial over specified domain

I'm looking for functionality akin to
```julia
integrate(poly, x, lb, ub)
```
i.e., to express the integral
$$\int_{l}^{u} p(x) dx$$ where $p(x)$ is a polynomial. Similar to [YALMIP `int`](https://yalmip.github.io/example/polynomialdesign/)

Scanning through the docs, I can't find this available. Is this supported by some of the polynomial packages that are supported by SumOfSquares.jl?

Start by checking the SumOfSquares.jl documentation and the polynomial packages it supports for an existing API matching integrate(poly, x, lb, ub), then compare the YALMIP example linked in the issue. Done means the requested bounded polynomial integration is either identified and documented as supported or its missing support is scoped clearly enough for implementation.

Written by the indexing model from the issue text.