[PUYA] Support for PUYA now in core 2.5.0

[TD-er]

See: esp8266/Arduino#5504

[uzi18]

@TD-er we need to still apply for all older version with your modified patch
or maybe they can patch all older releases? Especially for platform.io

[TD-er]

I was planning to change the patch file also and to make the older core builds available in patched format.
So anyone could then build PUYA supported versions (even in Windows) by just linking to that platform.
But that's going to be another commit :)