Disney Umumkan Pemeran Avengers: Doomsday, Robert Downey Jr. Jadi Doctor Doom, Bintang X-Men Ikut Meramaikan