Kira Learning is a new EdTech company using AI to reimagine K-12 education publishing, starting with computer science.