Microsoft's acquisition of GitHub has some developers fuming, but it's arguably good for both Microsoft and those same developers.