Update: This code was committed to Arduino's github repository on Dec 16. It should become available in the next version of Arduino, eg 1.0.1.
(thank you!)
Comments
Arduino Compile Speedup Links