Texas Instruments Cartes, kits de développement et évaluation