Old Castle Rock library closing to make way for new library