v1.2.0

In this release:

• unofficial Arduino dependencies (namely the ESP32 toolset) are version-independent; the application picks the first executable which matches the expected pattern.