Micro REPL - MicroPython IDE

- A new home, terminal, editor and file explorer
- Recent scripts list, open scripts from your files, and Save as
- Long-press a file in the explorer for quick actions
- Port picker now shows the board maker
- Fixed large file uploads failing
- Fixed reconnecting to the board after a disconnect
- Micro REPL is now also available for Windows, macOS, Linux and the web