[llvm] [mlir] [Python] Develop python bindings for Presburger library (PR #113233)

[David Blaikie via llvm-commits]

dwblaikie wrote:

(when the time comes, the ADT change should probably be pulled into a separate PR with unit test coverage)

https://github.com/llvm/llvm-project/pull/113233