Travis: try from Teensy forum

https://forum.pjrc.com/threads/36200-linux-development-without-teensyduino-howto?highlight=linux+teensyduino+install

.travis.yml

@@ -3,14 +3,13 @@ before_install:
   - "/sbin/start-stop-daemon --start --quiet --pidfile /tmp/custom_xvfb_1.pid --make-pidfile --background --exec /usr/bin/Xvfb -- :1 -ac -screen 0 1280x1024x16"
   - sleep 3
   - export DISPLAY=:1.0
-  - wget http://downloads.arduino.cc/arduino-1.6.12-linux64.tar.xz
+  - sudo apt-get install arduino-core
-  - tar xf arduino-1.6.12-linux64.tar.xz
+  - sudo apt-get install arduino-mk
-  - sudo mv arduino-1.6.12 /usr/local/share/arduino
+  - sudo apt-get install binutils-arm-none-eabi gcc-arm-none-eabi
-  - sudo ln -s /usr/local/share/arduino/arduino /usr/local/bin/arduino
+  - sudo mkdir /usr/local/share/arduino/hardware/teensy/
-  - wget https://www.pjrc.com/teensy/td_136/TeensyduinoInstall.linux64
+  - pushd /usr/local/share/arduino/hardware/teensy/
-  - sudo chmod 755 TeensyduinoInstall.linux64
+  - sudo git clone https://github.com/PaulStoffregen/cores
-  - ls
+  - popd
-  - sudo ./TeensyduinoInstall.linux64
 install:
   - ln -s $PWD /usr/local/share/arduino/libraries/OpenAudio_ArduinoLibrary
   - arduino --install-library "Audio"