New College (University of Edinburgh). Library