Geschiedenis van het Praia da Cruz-festival