Event monitor and processor for Raspberry Pi GPIO