feat: Add an example Noir recursive flow in `run.sh`

[feltroidprime]

Add a function recreating the flow of recursive verification in https://github.com/keep-starknet-strange/garaga/blob/main/tools/noir/run.sh

Using bb's -- recursive option

we want to to generate a proof (and verify it with bb) of the noir "hello" program (in ultra_keccak_honk mode) verifying the proof of the "hello" program (in ultra_honk_mode) (both (?) with —recursive option)

This means adding a new Noir program performing the proof verification of the "hello" program.

[wayzeek]

hello,
worked with Noir before and pretty confident I can help you with implementing this example :)