Releasing 1.3.7

Download it from

• http://downloads.arduino.cc/tools/arduino-builder-linux32-1.3.7.tar.bz2
• http://downloads.arduino.cc/tools/arduino-builder-linux64-1.3.7.tar.bz2
• http://downloads.arduino.cc/tools/arduino-builder-macosx-1.3.7.tar.bz2
• http://downloads.arduino.cc/tools/arduino-builder-windows-1.3.7.zip