MOVED: Arduino IDE, Arduino ISP and core files

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