Devstral: Fine-tuning Language Models for Coding Agent Applications