Use PlatformIO instead of Arduino IDE

[ha5la]

This gives us one place to define library dependencies (platformio.ini) as opposed to many places before:

• Arduino IDE (via manually clicking in the library manager)
• repetitively defined in various yml files for github workflows

It is much easier to replicate locally what the CI does.