[MLIR][SCF] Add support for pipelining dynamic loops (#74350)

Support loops without static boundaries. Since the number of iteration
is not known we need to predicate prologue and epilogue in case the
number of iterations is smaller than the number of stages.

This patch includes work from @chengjunlu