Mastermind Christopher Nolan applauds Marvel's genius move: Casting Robert Downey Jr. as Iron Man