webrepl.html: Fix issue with pasting multi-line text.

Author: Paul Sokolovsky

webrepl.html

@@ -88,6 +88,9 @@
     ws.onopen = function() {
         term.removeAllListeners('data');
         term.on('data', function(data) {
+            // Pasted data from clipboard will likely contain
+            // LF as EOL chars.
+            data = data.replace(/\n/g, "\r");
             ws.send(data);
         });