I see Paul has added Teensy 3.0 to Boards.h via the Teensyduino installer. The code should be merged into this repository at some point.