Università di Coimbra, biblioteca