Document how to use the micro:bit v2 with probe-rs

Use [probe-rs](https://probe.rs/) instead of openocd to load software to the micro:bit v2. Add this to the micro:bit v2 [readme](https://github.com/tock/tock/blob/master/boards/microbit_v2/README.md).