Devstral Small deprecated

Mistral AI deprecated Devstral Small.