As it is, “White Christmas” is a polished mid-20th century entertainment, a bit arch by contemporary tastes. But don’t fool yourself that it wasn’t arch back in the day: The progression of time ...