devel/arduino-irremote: Update to 3.7.1

Changes since 3.5.2:

• Separated enable flag of send and receive feedback LED.
• RP2040 support added.
• Renamed IR_SEND_DUTY_CYCLE to IR_SEND_DUTY_CYCLE_PERCENT.
• Fixed bugs for SEND_PWM_BY_TIMER active.
• Switched Bose internal protocol timing for 0 and 1 -> old 1 timing is…now 0 and vice versa.
• Changed TOLERANCE to TOLERANCE_FOR_DECODERS_MARK_OR_SPACE_MATCHING and documented it.
• Changed last uint8_t to uint_fast8_t and uint16_t to unsigned integer.
• Improved MagiQuest protocol.
• Improved prints and documentation.
• Added IrReceiver.restartAfterSend() and inserted it in every send().
• Use IRAM_ATTR instead of deprecated ICACHE_RAM_ATTR for ESP8266.
• Removed pulse width decoding from ir_DistanceProtocol.
• SendRaw now supports bufferlenght > 255.
• Improved DistanceProtocol decoder output.
• Fixed ESP32 send bug for 2.x ESP32 cores.

Reported by: portscout