Edtech startup Kira Learning uses AI-powered software to help K-12 students learn computer science. The team landed a partnership with the state of Tennessee to offer its courses in public schools.