President Trump, who has long complained about too many federal holidays, is giving federal workers extra days off next week for the Christmas holiday.