Update The easiest way to use the library is through the Arduino IDE's library manager; the library is "IRremote". The code is at github.co...