A group of 1970s campus librarians foresaw our world of distributed knowledge and research, and designed search tools for it