Using an Encoder with Raspberry Pi