Support operating on single script files rather than a whole workspace

[WasabiFan]

It would be helpful if one could download and run a single loose file without having to open a workspace and deploy everything in that folder. Files downloaded in this way could be downloaded into the /home/robot root or into a dedicated folder, e.g. scripts.

[dlech]

Sounds complicated. Also, since VSCode 1.18, there is a difference between a "workspace" and a "folder". You don't have to open a "workspace", you only have to open a "folder". And if the folder only has one file in it, then it basically does exactly what you have said.