تالار علامه امینی، کتابخانه مرکزی دانشگاه تهران