Leanstral, Mistral's open source code agent for Lean 4