Using the MicroPython REPL with the micro:bit