I am finally trying to use my Teensy 2.0 I bought awhile ago. I want to use the Arduino tool but, it does not show Teensy in any of the Boards it supports. I have Arduino 2.2.1 installed. Is Teensy still supported by Arduino? What do I do? Thx