Meet Gitar, the startup using AI to catch the security flaws that AI code leaves behind