A simple & compact PinChangeInterrupt library for Arduino