Separated symbol processing from sources storage during push (to improve speed), added a fallback behavior to OpenPackageSourceFile when KeepSourcesCompressed is true