Microsoft snaps up GitHub for $7.5