GitHub CEO Thomas Dohmke is stepping down to pursue new ventures, as Microsoft folds the platform deeper into its AI plan.