Arduino 0013 released.

As soon as someone builds a version of Arduino 0013 for 64-bit Linux. Any volunteers?