Using the BBC micro:bit with the Raspberry Pi