Quais software (aplicativos) estão disponíveis no pacote Dev Tools disponibilizado pela UFSC?