[RFC][Tracking Issue] Introduce PresburgerSet

[multiverstack-intellif]

This issue is to track progress for RFC#99: Introduce PresburgerSet

• P1. Build & CI setup, PresburgerSet class with minimal member functions. [Arith] Add tvm::arith::PresburgerSetNode to work with Presburger Set in MLIR #14690
• P2. Basic set manipulation functions.
• P3. Dependency analysis utilities.
• P4. Helper functions for block analysis.

[p3achyjr]

Hello--is this work still in progress, and would you be open to contributions?