Zig quits GitHub, says Microsoft’s AI obsession has ruined the service