Tiny program to receive and send infrared codes using GPIO pins on the Raspberry Pi