Badia greca di Grottaferrata di Maria Santissima. Biblioteca