Google’s new cloud boss just made his first acquisition