The making of Fleischer Studios’ “Aladdin and His Wonderful Lamp” starring Popeye.