Escape also DEL (U+007F) when generating JavaScript strings & regexps

It is a control character.

lib/compiler/js.js

@@ -25,7 +25,7 @@ var js = {
       .replace(/\f/g,   '\\f')    // form feed
       .replace(/\r/g,   '\\r')    // carriage return
       .replace(/[\x00-\x07\x0B\x0E\x0F]/g, function(ch) { return '\\x0' + hex(ch); })
-      .replace(/[\x10-\x1F\x80-\xFF]/g,    function(ch) { return '\\x'  + hex(ch); })
+      .replace(/[\x10-\x1F\x7F-\xFF]/g,    function(ch) { return '\\x'  + hex(ch); })
       .replace(/[\u0100-\u0FFF]/g,         function(ch) { return '\\u0' + hex(ch); })
       .replace(/[\u1000-\uFFFF]/g,         function(ch) { return '\\u'  + hex(ch); });
   },
@@ -49,7 +49,7 @@ var js = {
       .replace(/\f/g, '\\f')     // form feed
       .replace(/\r/g, '\\r')     // carriage return
       .replace(/[\x00-\x08\x0E\x0F]/g,  function(ch) { return '\\x0' + hex(ch); })
-      .replace(/[\x10-\x1F\x80-\xFF]/g, function(ch) { return '\\x'  + hex(ch); })
+      .replace(/[\x10-\x1F\x7F-\xFF]/g, function(ch) { return '\\x'  + hex(ch); })
       .replace(/[\u0100-\u0FFF]/g,      function(ch) { return '\\u0' + hex(ch); })
       .replace(/[\u1000-\uFFFF]/g,      function(ch) { return '\\u'  + hex(ch); });
   }