Can the basic arduino libraries be used for the teensy? Or only the teensy libraries provided by the Teensyduino addon?