The new movie’s release today marks a great opportunity to visit the origins of Mario animation.