Pinnocio IDE forked from Arduino IDE for use with Pinoccio!  I have spent the last few lunch breaks and evenings working on what I started over the weekend.  It is a fork of the Arduino 1.5 IDE, with the toolchain for Pinoccio baked in.  I am also trying to make it a lot less FUGLY, currently I am focusing on the build on OSX, making it look as native as I can, etc. Once everything is functioning as I like (and the toolchains have been built), I will work on the windows and linux builds.

Binary can be found here