refresh file browser after running program

Programs may create new files, so this saves the user from having to
click the refresh button in the ev3dev device browser after the program
ends in order to see the new file.

Author: dlech

src/extension.ts

@@ -267,12 +267,16 @@ async function handleCustomDebugEvent(event: vscode.DebugSessionCustomEvent): Pr
             if (activeDebugSessions.has(event.session.id) && device && device.isConnected) {
                 device.exec('conrun-kill --signal=SIGKILL');
             }
+            // update remote file browser in case program created new files
+            refresh();
             break;
         case 'ev3devBrowser.debugger.interrupt':
             device = ev3devBrowserProvider.getDeviceSync();
             if (activeDebugSessions.has(event.session.id) && device && device.isConnected) {
                 device.exec('conrun-kill --signal=SIGINT');
             }
+            // update remote file browser in case program created new files
+            refresh();
             break;
     }
 }