GitHub CEO steps down as Microsoft integrates platform into CoreAI division amid rising competition in the AI coding market