Settings and updates for the Python editor

editor/external.ts

@@ -58,6 +58,15 @@ module TDev {
           // path: '/ck-client/game/',
 
           logoUrl: origin + path + 'img/codekingdoms-microbit.png'
+        },
+        {
+          company: "The Python Software Foundation",
+          name: "MicroPython",
+          description: "Hack your micro:bit with MicroPython!",
+          id: "python",
+          origin: "https://microbit.pythonanywhere.com",
+          path: "/editor.html",
+          logoUrl: origin + '/static/img/python-powered.png'
         })
       }
     }

editor/scriptList.ts

@@ -6182,6 +6182,7 @@
         static editorIcons = {
             "blockly": "blockeditor,#AA2FE7",
             "codekingdoms": "codekingdoms,#ffffff",
+            "python": "python,#ffffff",
             "touchdevelop": "touchdevelop,#0095ff",
             "docs": "fa-file-text-o,#E00069",
             "html": "fa-code,#E00069",