Holidays highlight in ui.datepicker

I wrote a patch to allow highlighting of holidays in datepicker
instances.
See http://dev.jqueryui.com/ticket/4610
maybe we would change ui-state-highlight to a more appropriate state
(see line 1398 at ui.datepicker.js attached to the ticked)