[turbolizer] Solve prettify issues

PR wasn't defined correctly and it was causing issues.

Added prettify to the npm packages, and removed the (not needed)
explicit prettify.css.

Bug: v8:7327
Change-Id: Ieb8999d63df6764354dd628516e0ed9270b8a862
Notry: true
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1893344
Commit-Queue: Santiago Aboy Solanes <solanes@chromium.org>
Reviewed-by: Sigurd Schneider <sigurds@chromium.org>
Cr-Commit-Position: refs/heads/master@{#64726}

tools/turbolizer/index.html

@@ -9,7 +9,6 @@ code is governed by a BSD-style license that can be found in the LICENSE file.
   <title>V8 Turbolizer</title>
   <link rel="stylesheet" href="turbo-visualizer.css">
   <link rel="stylesheet" href="tabs.css">
-  <link rel="stylesheet" href="prettify.css">
   <link rel="icon" type="image/png" href="turbolizer.png">
 </head>
 
@@ -40,7 +39,7 @@ code is governed by a BSD-style license that can be found in the LICENSE file.
       </text>
     </svg>
   </div>
-  <script src="https://cdn.rawgit.com/google/code-prettify/master/loader/run_prettify.js"></script>
+  <script src="https://cdn.jsdelivr.net/gh/google/code-prettify@master/loader/run_prettify.js"></script>
   <script src="build/turbolizer.js"></script>
 </body>
 </html>

tools/turbolizer/src/code-view.ts

@@ -2,6 +2,14 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
+interface PR {
+  prettyPrint(_: unknown, el: HTMLElement): void;
+}
+
+declare global {
+  const PR: PR;
+}
+
 import { Source, SourceResolver, sourcePositionToStringKey } from "../src/source-resolver";
 import { SelectionBroker } from "../src/selection-broker";
 import { View } from "../src/view";