Budatínske leto, Budatínsky park