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

[Pranav Kant via llvm-commits]

pranavk wrote:

It fixed the bazelbot that was broken by your commit earlier: https://buildkite.com/llvm-project/upstream-bazel/builds/132017

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