"Work times" dashboard module update

The employees should be sorted alphabetically in the dashboard module "Employee Times," and public holidays should be marked in gray (just like sick days, etc.)