a simple public holiday finder in Python