Update to LazySets v2

[blegat]

Now Union and UnionSetArray subtype LazySet so this might simplify Dionysos with the issue we had with @adrienbanse

[adrienbanse]

We want to remove the (non-convex) union of convex sets from another convex set. Although some needed operations (at least UnionSetArray, Intersection and Complement) subtype LazySet, they now only take ConvexSet as argument and will thus not be able to handle non-convex sets.

Seems like non-convex sets are not supported yet although JuliaReach is actively working on it, see:

• Generalize ConvexSet to LazySet JuliaReach/LazySets.jl#3047
• Extend LazySet to non-convex sets JuliaReach/LazySets.jl#1895

I propose to keep our implementation for now and extend it if needed

[blegat]

They now seem to support nonconvex sets so we should reconsider

[schillic]

On a separate note, LazySets now has submodules for all basic set types. I did not check what exactly you use, but for instance if all you need is the Ellipsoid, you could load LazySets.EllipsoidModule instead. That could reduce the name clashes (but most public API functions are still exported by each submodule, so it may not help).