update to newest codal

Author: thomasjball

pxtarget.json

@@ -383,27 +383,26 @@
                 "openocdScript": "source [find interface/cmsis-dap.cfg]; source [find target/nrf52.cfg]",
                 "webUSB": false,
                 "useUF2": false,
-                "flashEnd": 524288,
                 "deployDrives": ".*",
-                "deployFileMarker": "DETAILS.TXT"
+                "deployFileMarker": "DETAILS.TXT",
+                "flashCodeAlign": 4096,
+                "flashUsableEnd": 471040,
+                "flashEnd": 524288
             },
             "compileService": {
+                "buildEngine": "codal",
                 "codalTarget": {
-                    "name": "codal-nrf52833-dk",
-                    "url": "https://github.com/mmoskal/codal-nrf52833-dk",
-                    "branch": "v2.0.2",
+                    "name": "codal-microbit-v2",
+                    "url": "https://github.com/lancaster-university/codal-microbit-v2",
+                    "branch": "v0.3.5",
                     "type": "git"
                 },
-                "codalBinary": "NRF52840_DK",
-                "serviceId": "codal2nrf52840",
+                "codalBinary": "MICROBIT",
+                "githubCorePackage": "lancaster-university/microbit-v2-samples",
+                "gittag": "v0.2.13",
+                "serviceId": "mbcodal2",
                 "dockerImage": "pext/yotta:latest",
-                "yottaConfig": {
-                    "pxt": {
-                        "board": {
-                            "id": "BOARD_ID_NRF52833"
-                        }
-                    }
-                }
+                "yottaConfigCompatibility": true
             }
         },
         "rp2040": {