Give tools in the CE options a type (#4471)

* Fix type of tool id

Observed through the debugger it seems the tool id is a `string`, which leads to all sorts of downstream complaints comparing strings to ints when converting tools.js to ts (see #4166)

* Add tools to CE Options

* Fixings

static/options.interfaces.ts

@@ -24,6 +24,7 @@
 
 import {Language, LanguageKey} from '../types/languages.interfaces';
 import {CompilerInfo} from '../types/compiler.interfaces';
+import {Tool} from '../types/tool.interfaces';
 
 export type LibraryVersion = {
     alias: string[];
@@ -60,4 +61,5 @@ export type Options = {
     release?: string;
     sentryEnvironment?: string;
     compileOptions: Record<LanguageKey, string>;
+    tools: Record<LanguageKey, Record<string, Tool>>;
 };

static/panes/compiler.ts

@@ -2388,7 +2388,7 @@ export class Compiler extends MonacoPane<monaco.editor.IStandaloneCodeEditor, Co
         const createToolView: () => ComponentConfig<ToolViewState> = () => {
             let args = '';
             let monacoStdin = false;
-            const langTools = (options.tools as any)[this.currentLangId ?? ''];
+            const langTools = options.tools[this.currentLangId ?? ''];
             if (langTools && langTools[toolId] && langTools[toolId].tool) {
                 if (langTools[toolId].tool.args !== undefined) {
                     args = langTools[toolId].tool.args;