[llvm] [bazel] Add support for SMT Dialect (PR #135454)

[Maksim Levental via llvm-commits]

makslevental wrote:

Just curious - what did this fix? Because this fix and [my fix](https://github.com/llvm/llvm-project/commit/54e70ac7650f1c22f687937d1a082e4152f97b22) look different lol

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