Shuttering the 10-year-old online education platform with more than 400 million users shows Tencent’s focus on its cost-cutting strategy.