Петршин холм, Страговский монастырь