Add support for `$integral` aggregation operator

[christophstrobl]

Available since MongoDB 5.0.

• https://docs.mongodb.com/manual/reference/operator/aggregation/integral/

---

Depends on: #3711