LOS ANGELES — “Iron Man 3″ is the heavy-lifter at theaters with a colossal overseas debut that overshadows a sleepy pre-summer weekend at the domestic box office. The superhero sequel starring Robert Downey Jr. got a head-start on its domestic launch next Friday with a $195.3 million opening in 42 overseas markets.