[ECOS] elf for thumb

[Lance Uyehara]

Hello,

Now that we're migrating over to the elf tools I want to find out if a
thumb compiler or compiler switch is available with the ecos development
tools for arm. 

Thanks,
Lance