prune manifest after the set of some deps have been "demoted" to weak…

…deps (#3864)

(cherry picked from commit 8f772ff)

src/Operations.jl

@@ -194,6 +194,7 @@ function fixup_ext!(env, pkgs)
             end
         end
     end
+    prune_manifest(env)
 end
 
 ####################