The New York Times Mini Crossword introduces festive words this holiday season. Daily clues include Christmas-related hints.