Q&A: GitHub CEO Thomas Dohmke talks AI, supercharging productivity, and the future of software