In a few weeks, Thor will swing his mighty hammer and attempt to smash Superman, Batman and the other rival superheroes standing in his way. The face off between “Thor: Ragnarok” (opening in theaters Nov. 2) and “Justice League” (out Nov. 17) is just the latest collision between Marvel and DC, the venerable comic-book publishers...