introduce datepicker/datetimepicker 'disable_holidays: true' to disable holidays in the calendar, fixes #2267

Die Änderungen erlauben den Datepicker folgendermassen zu definieren:

<input type="text" data-date-picker='{"disable_holidays": true}'>

Dadurch werden die von Stud.IP über die JSONAPI-Route /holidays zurückgelieferten Feiertage als nicht wählbar markiert. Feiertage, die keine gesetzlichen Feiertage sind (also wo man nicht frei hat), werden nicht speziell markiert - könnten dies aber. Bei diesen wird nur ein entsprechender Tooltip eingeblendet.