Calculate holiday list totals for half days

Half-day holidays were counted as full days; now calculated as 0.5.