Implement loop unrolling

[fabianschuiki]

Implement unrolling for loops with a predictable upper bound. This probably requires some form of loop analysis to be performed (usign a DT to detect back-edges).