Add explicit unrolling annotation of loops and recursion

[vkuncak]

Introduce an annotation to unroll recursive functions and while loops at the Stainless tree level (similar to partial evaluation).

For an example of use, see page 11 of https://arxiv.org/pdf/2412.07235 on unrolling a loop 7 times.