Codota picks up $12M for an AI platform that auto-completes developers' code – TechCrunch