Mafra, in Portugal ist die längste Klosterbibliothek