University of Wisconsin–Madison Libraries, UW–Madison Libraries, the libraries, Memorial Library, College Library