In what year had the library at Notre Dame reach 10,000 books?