Feature request: webUSB needs a files button

Both flashing and REPL over webUSB appear to work.
There's the need for a files button to retrieve any data that a program had written to the microbit

まず、JavaScript エディター内の既存の webUSB フラッシュ処理と REPL の経路を特定します。ファイルボタンが micro:bit 上のプログラムによって書き込まれたデータを取得する方法を、想定されるデバイスとのやり取りとエディター内での表示を含めて確認します。ボタンがそのデータを確実に取得して公開できれば完了です。

索引モデルが issue の本文から書いたものです。