Change wording of public holidays in crontab

Bank holiday is quite a UK-centric term, so replace with public holiday
for easier understanding among international reusers