Arduino 0013 released.

[system]

0013 runs on my 10.5.6 without having to do anything special. I downloaded it and it ran the first time I tried to launch it.