#10 Israel national holidays

[Boruch Baum]

Change method of handling Israel National holidays, to separate them from GLOBAL Hebrew holidays. Create a sensitivity setting in the configuration so that if installed to an Israeli locale, they are automatic, and otherwise optional, either opt-in or opt-out.