Web IDE: Fix 'InvalidCharacterError: String contains an invalid character'.

Author: Grahack

web/ide_injections.js

@@ -221,6 +221,7 @@ function inject_microalg_editor_in(elt_id, config) {
     var processing_id = elt_id + '-processing';
     var src = '';
     var blockly_src = '';
+    config.src = config.src.replace(/’/g, "'");
     var config_64 = btoa(JSON.stringify(config));
     // According to config.localStorage, load source code (if any) from local
     // storage in the `src` var.