Kenyans get tree-planting holiday to plant 100 million seedlings