a simple date (public holiday) finder in Python