Muri-Gries, Bibliothek der Benediktinerabtei