The revival of Oscar Hammerstein II’s very clever 1943 updating of Bizet’s Carmen – a big hit in its day