Hrvatska akademija znanosti i umjetnosti. Knjižnica