Revert "Added ESP32 IR receive support (IRsend not implemented yet)."

examples/IRrecvDemo/IRrecvDemo.ino

@@ -17,11 +17,7 @@ decode_results results;
 void setup()
 {
   Serial.begin(9600);
-  // In case the interrupt driver crashes on setup, give a clue
-  // to the user what's going on.
-  Serial.println("Enabling IRin");
   irrecv.enableIRIn(); // Start the receiver
-  Serial.println("Enabled IRin");
 }
 
 void loop() {

examples/IRrecvDump/IRrecvDump.ino

@@ -15,7 +15,7 @@
 *  You can change this to another available Arduino Pin.
 *  Your IR receiver should be connected to the pin defined here
 */
-int RECV_PIN = 11;
+int RECV_PIN = 11; 
 
 IRrecv irrecv(RECV_PIN);