RIP Sean Connery, star of “Darby O’Gill and the Little People” and “Zardoz.”