Make "Export compiled binary" comply with specifications#8183

cmaglie merged 1 commit intoarduino:masterarduino/Arduino:masterfrom

facchinm:handle_export_savefacchinm/Arduino:handle_export_saveCopy head branch name to clipboard