Kern County Library patrons are glad renovations are coming