Very small shell script for downloading the UK's bank holidays from gov.uk