Add a "make install" target, for when the Teensy tools are available