Страговский монастырь: История и библиотека