eried
If you want to support the teensy stuff Paul will be glad to help you.
He helped me with the implementation in my eclipse plugin. Basically there are 2 commands to run.
Below is a copy of the teensy part of Arduino 1.5.2 platform.txt which shows the commands to run.

Teensy Uploader/Programmers tools

-------------------

tools.teensy_reboot.config.path={runtime.ide.path}/hardware/teensy/tools/mac
tools.teensy_reboot.config.path.linux={runtime.ide.path}/hardware/teensy/tools/linux
tools.teensy_reboot.config.path.windows={runtime.ide.path}/hardware/teensy/tools/windows

tools.teensy_reboot.upload.params.verbose=
tools.teensy_reboot.upload.params.quiet=
tools.teensy_reboot.cmd.path={tools.teensy_reboot.config.path}/
tools.teensy_reboot.name=Teensy upload
tools.teensy_reboot.step1.pattern={tools.teensy_reboot.cmd.path}teensy_post_compile -path={build.path} -file={build.project_name} -tools={tools.teensy_reboot.config.path} -board={name}
tools.teensy_reboot.step1.name=Teensy post compile
tools.teensy_reboot.step2.pattern={tools.teensy_reboot.cmd.path}teensy_reboot -v
tools.teensy_reboot.step2.name=Teensy reboot

The code I build is very generic and yust does step1 step2 ... until no info is found.
That code is open source in case I forgot something in the platform.txt
So there is no need to reverse engineer to support teensy

Best regards
Jantje