If the user has access to the teensy and can plug in a USB cable, the easiest way is
provide user new hexfile + teensy.exe (for PC)
user has to start teensy.exe, locate hexfile with program, press the button on teensy (check exact procedure with PJRC Teensy.exe web site)
thats all