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