Yahoo and Google have struck a search deal—but it still needs the Department of Justice’s OK