Exclusive: OpenAI targets Microsoft's GitHub with deal for startup