With a former “Late Show” writer serving as our guide, the lost world of industrial musicals gets the documentary treatment.