A Brief History of the Larchmont Public Library