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
5630495e44

in order to make this simple