Build: pushing core NuGet packages should be robust; no need to push symbols separately