a simple public holiday helper in Python