Use Sudo When Pruning coresymbolicationd Cache

https://bugs.webkit.org/show_bug.cgi?id=267382
rdar://120814769

Reviewed by Jonathan Bedard.

As a follow up to https://bugs.webkit.org/show_bug.cgi?id=267053 , sudo should be used when pruning the coresymbolicationd cache.

* Tools/Scripts/delete-if-too-large:
(main):

Canonical link: https://commits.webkit.org/273306@main

Tools/Scripts/delete-if-too-large

@@ -48,7 +48,7 @@ def main():
 
         if directorySize >= tenGigabytesInKiloBytes:
             print(f'{directory} is {directorySize}K in size. Deleting') 
-            subprocess.call(['rm','-rf', directoryPath])
+            subprocess.call(['sudo', 'rm','-rf', directoryPath])
             print(f'Deleted {directory}')
         else:
             print(f'{directory} is {directorySize}K in size. Doing nothing')