Until Marvel Studios’ “Captain Marvel” swooped in and boosted the global box office, Hollywood was struggling to kickstart 2019 and an uncertain year stretched ahead. Which is perhaps why, at least in part, two international cinema operators are actively diversifying their offering and moving away f…