Pusat Dokumentasi Ilmiah Nasional (Indonesia). Perpustakaan