Gitar, a startup that uses agents to secure code, emerges from stealth with $9 million