ESP8266_ARDUINO_PYTHON_PATH environment var

[mcspr]

esp8266/Arduino#8886 suggestion

--- python3/python3     2019-12-29 19:28:00.000000000 +0300
+++ python3/python3     2023-03-15 20:58:40.064782893 +0300
@@ -2,5 +2,7 @@
 import os
 import sys

-args = ["env", "python3"] + sys.argv[1:];
-os.execv("/usr/bin/env", args)
+EXE = os.environ.get("ESP8266_ARDUINO_PYTHON_PATH", "python3")
+ARG = ["env", EXE] + sys.argv[1:]
+
+os.execv("/usr/bin/env", ARG)

[earlephilhower]

This seems like extreme measures for a vanishingly small number of users (1?), but it seems safe enough.

Give me a couple days to update and hand-patch the updated toolchain PR in the core with this new one.

[earlephilhower]

Minor request. The file type is tar.gz but your repo has a simple uncompressed .tar. I think that may cause issues. Can you do a tar zcvf to package instead?