Cava dei Tirreni, Biblioteca del Monumento Nazionale della Badia