The thunderous success of “Thor: Ragnarok” has helped Walt Disney Studios become the first distributor in history to hit $5 billion in annual global box office sales three times, it said Thursday. The superhero movie, made by Disney’s Marvel subsidiary, is on the verge of surpassing $800 million worldwide, putting the company’s haul for 2017 at…