Over the last few months, a free BBC micro:bit device has landed in the lap of every year seven pupil in the UK.