(Fix #215) better error printing in editor & extension, adds mapping for editor

extension/content_script.js

Index: extension/content_script.js
diff --git a/extension/content_script.js b/extension/content_script.js
index d3158545d8ad432bc568c9a64aed852fecb25e46..cec39e9777f7629104b37adcd648891d513a0b99 100644
--- a/extension/content_script.js
+++ b/extension/content_script.js
@@ -61,6 +61,19 @@ function onRequestParse() {
           }
         }
       }, 100);
+    } else if (msg.type == 'MESSAGES') {
+      var messages = msg.messages;
+      for (var i = 0; i < messages.length; i++) {
+        var level = messages[i][0];
+        var message = messages[i][1];
+        if (level == 'SEVERE') {
+          window.console.error(message);
+        } else if (level == 'WARNING') {
+          window.console.warn(message);
+        } else {
+          window.console.info(message);
+        }
+      }
     }
   })