added Export Songs capability, which is a more robust alternative to the Download Songs,
which has issues with character encodings in the zip compression code