This improvement was merged into Arduino 1.0.1, after a more than a year.

It's a pretty simple patch, just use the gcc dependency features and reuse the previously compiled files. Every time to upload an Arduino sketch, the many libraries do change, so almost all the work can be reused for quickly uploads.