Add a button to open in android studio.

web/src/types.ts

@@ -96,6 +96,9 @@ export interface RepoState extends RepoInfo {
   // page publishes one. The browser is the source of truth for what's on screen;
   // this copy is what lets an agent review, and anchor comments to, the same diff.
   context?: DiffContext | null;
+  // Whether this machine has an Android Studio for the file headers to open
+  // files in (see api.openInStudio).
+  studio: boolean;
 }
 
 export interface DiffFile {