Cristian, yo adquirí recientemente una discovery y el ide que utilizo es CooCox, te lo recomiendo mucho, lo único "malo" es que trabaja solo en windows, pero es muy simple de usar y te ahorras mucho código incluyendo muchas bibliotecas fácilmente y es totalmente gratuito, si alguien conoce un ide mejor u otra manera también estaré interesado en probarla.
La página es:
http://www.coocox.org/CooCox_CoIDE.htmSi tenés alguna duda de como se enstala te doy una mano. Son 2 comontentes el IDE y el toolchain que se bajan por separado.
Saludos!