Microsoft rescued GitHub—and it's back the tools developers always wanted, along with a healthier open source community.