make web2board launch teensy_loader_cli

[Nico-L]

Hi,

I am using bitbloq-offline and trying to add a new board: teensy. This board is based on an ARM chip that needs a special loader : teensy_loader_cli

Reference to this loader can be found in "src/platformio/builder/scripts/teensy.py" but the web2board dist in bitbloq offline launches avrdude and of course fails to upload the sketch.

How would it be possible for me to add the teensy loader?