Paso 4: Añadir librería irremote en el software de Arduino
Descargar la librería desde http://arcfn.com/files/IRremote.zip e instalarlo como lo haría con cualquier otra biblioteca para arduino.
Su blog tiene un montón de información útil acerca de la biblioteca y cómo instalarlo.