Teensy 3.1 development environment, without use of the Arduino IDE