Add Leanstral code agent example

[Jah-yee]

Leanstral is Mistral's open-source code agent for Lean 4 formal verification. Adding an example to the cookbook would help developers get started.