Former GitLab CEO raises money for Kilo to compete in crowded AI coding market