Arduino library for rotary encoders