Thomas Dohmke, CEO of GitHub, is stepping down to pursue a new startup venture after leading the company through significant developments in artificial intelligence and other expansions.