The depletion of Broadway (see ‘Bring it On’) makes me weep for the simple days of ‘A Chorus Line.’ But then I heard Magic Mike might become a musical, and my hope was restored. Does it get better than a live stripper show disguised as theater? Perhaps I should start saving my money now.