A cast of colorful personalities, an interesting story and a beautiful swath of visual effects sets “Thor: Ragnarok” apart from prior installments in a very important way: it’s funny without having...