Could Spider-Man show up in 'Thor: Ragnarok'?