Completed adding recs80 sending and decoding

I have tested it using two arduinos (one for sending and the other for
receiving) and have achieved a 90% (estimate) success rate.

examples/IRrecvDumpV2/IRrecvDumpV2.ino

@@ -56,6 +56,7 @@ void  encoding (decode_results *results)
     case AIWA_RC_T501: Serial.print("AIWA_RC_T501");  break ;
     case PANASONIC:    Serial.print("PANASONIC");     break ;
     case DENON:        Serial.print("Denon");         break ;
+    case RECS80:       Serial.print("RECS80");        break ; 
   }
 }