Implement a new optimization pass to unroll loops in MIR

[MaikKlein]

I should be easy to get this working for some simple cases

for i in 0..N {}