raspberrypi: use pin change interrupts for IncrementalEncoder #4585
Description
This allows using any pair of pins, and does not use up a state machine. The GPIO peripheral of the RP2040 seems to support both edge interrupts, though CircuitPython may not use this facility yet.