Devil's Holiday, designs for the ballet