Rotary Encoder Plus Extension for Microbit

A new code extension for the BBC Microbit, open sourced and accepted by the Microbit Foundation.