Bump IntervalArithmetic to v0.22+

[schillic]

This PR is finished, but it cannot currently be used due to external packages requiring an upgrade:

• CarlemanLinearization
• Flowstar
• IntervalBoxes
• LazySets
  • MathematicalSystems also needs a bump then.

The fourth commit uses the development versions of these packages, to be used on the branches schillic/ia.

---

Closes #911. Closes #914. Closes #935. Closes #936.

Main changes of this PR

• bump IntervalArithmetic to v0.22+
• add dependency IntervalBoxes (may be refactored in the future)
• bump optional dependencies: Flowstar to v0.3, LazySets to v6, TaylorIntegration to v0.17, TaylorModels to v0.9, TaylorSeries to v0.20.6
• bump Julia version to v1.10+
• remove AdmissibleSet (use LazySet instead)
• require LazySets set types (IA.Interval and IntervalBox are not allowed anymore)
• allow to access solutions and flowpipes at time intervals specified as LazySets.Intervals or Tuples
• introduce TimeIntervalC (because the Interval constructor was disabled and Julia does not allow a type alias to be a function at the same time)
• remove _dim and low/high helper methods
• deactivate two failing examples (fifth commit, possibly to be reverted)