CI: add Arduino_ESP32_OTA library dependency

Author: pennam

.github/workflows/compile-examples.yml

@@ -179,7 +179,8 @@ jobs:
               # Install ESP32 platform via Boards Manager
               - name: esp32:esp32
                 source-url: https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
-            libraries:
+            libraries: |
+              - name: Arduino_ESP32_OTA
             sketch-paths:
 
     steps: