OpenAI to buy developer tools startup as it takes aim at GitHub: report TradingView