Merge 1.1 to master (CodeGuild-co#22)

* Add Help box

* Added Help JS

* Added style

* Added versions

* Version 1.1

* Added RC3

* Correct editor number

* Updated to RC4

* Update to RC5

* Update MicroPython to 1.0.0

* fixup! Update MicroPython to 1.0.0

* Update version

* Update version

* Update CI

* Added capability to migrate from microbit.co.uk

Author: microbit-sam

python-main.js

@@ -305,9 +305,7 @@ function web_editor(config) {
     // This function is called to initialise the editor. It sets things up so
     // the user sees their code or, in the case of a new program, uses some
     // sane defaults.
-    function setupEditor(message) {
-        // Set version in document title
-        document.title = document.title + ' ' + EDITOR_VERSION;
+    function setupEditor(message, migration) {
         // Setup the Ace editor.
         EDITOR = pythonEditor('editor');
         if(message.n && message.c && message.s) {