implement export_file command

[geh]

Hello!

Could you implement/add the export_file command of the original JSLinux, to make it easy to export some file to the current device where the browser is running?

Thanks