Opera、中国企業に買収される