MOVED: Arduino IDE, Arduino ISP and core files

This topic has been moved to Suggestions for the Arduino Project.

http://arduino.cc/forum/index.php?topic=90862.0