The University of Michigan is getting rid of its card catalogs.