No shocker here. Doctor Strange will pop in for some strange in this year’s ‘Thor: Ragnarok.’