When the yotta registry is deprecated, targets will need to be accessed
directly from GitHub. This commit pulls the target from
https://github.com/lancaster-university/microbit-targets/
at
5630495e44a4c8d70f369249edd97cedff6794c2
in order to make this simple