Arduino 0013 released.

hey!

when can i upgrade my 0012-linux-amd64 package to 0013?

bye