fix: replace null characters in copied monitor output

In OSes implementation of `clipboard.writeText`,  null (`\u0000`) characters are parsed as string termination symbol, effectively truncating the copied output

Author: giacomocusinato

arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx

@@ -75,9 +75,12 @@ export class SerialMonitorOutput extends React.Component<
       this.props.clearConsoleEvent(() =>
         this.setState({ lines: [], charCount: 0 })
       ),
-      this.props.copyOutputEvent(() => 
-        this.props.clipboardService.writeText(joinLines(this.state.lines))
-      ),
+      this.props.copyOutputEvent(() => {
+        const text = joinLines(this.state.lines);
+        // Replace null characters with a visible symbol
+        const safe = text.replace(/\u0000/g, '\u25A1');
+        this.props.clipboardService.writeText(safe);
+      }),
       this.props.monitorModel.onChange(({ property }) => {
         if (property === 'timestamp') {
           const { timestamp } = this.props.monitorModel;