[MLIR][Presburger] clang-format and clang-tidy

Fix formatting issues mostly introduced in recent commits.
(This was possibly missed due to GitHub not having formatting checks at
the time, but it's unclear.)