Make Arduino 1.5.7 default; support for 1.5.6-r2 is deprecated.