Auto-detect ESP-IDF version for esp32 builds

Implement a detection mechanism for the ESP-IDF version from the MicroPython source tree, utilizing a three-tier fallback strategy. - reading the IDF version from the lockfile - reading the max IDF version from the CI build workflow - fallback to a hardcoded version if detection fails. This simplifies the use of the current correct ESP IDF version when building esp32 projects. Tested locally and it auto picks the IDF version, the `--build-container` option can still be used to specify a different IDF version. I did use AI to create this PR, but I have checked it.