GitHub CEO Thomas Dohmke says he is leaving to “become a startup founder again”, with GitHub and its leadership team moving into Microsoft's CoreAI organization