Hi, looking for Teensy 3.1, 2.0, 1.0 driver files. I would like to package teensy.exe and the *.inf files so (preferably as an executable, or I can zip all the files up), so end users do not need to install teensyduino/arduino to perform product updates using a custom PCB we are designing. We plan to procure bootloader chips from Teensy soon, but need a user friendly install method (or atleast the drivers) for windows/mac.