Use `procref` for FPI tutorials

### Feature description

Instead of string formatting, we should use `procref` opcode for FPI tutorials.

### Why is this feature needed?

Code clarity.

### Motivation

https://github.com/0xMiden/miden-base/pull/1883#discussion_r2349184113