For ESP-IDF builds use arduino-esp32 instead of arduino dependency

[johnboiles]

This is the documented way to reference the arduino-esp32 component. I believe you must reference it this way to use the version in IDF component manager.