Writing tools to remotely launch compile & download on multiple machines isn't difficult,
but we really need a mechanism in the Arduino tools to do cmd line compile &download first.
These already exist, in several variants, I'm using (for example) Martin Oldfield's makefile for the Arduino. Has the added benefit of bypassing all of the bugs in the IDE precompiler (you need to declare your own prototypes, though -- but overall, a very good deal.) Also the standard C/C++ precompiler then works properly and predictably again without the IDE precompiler stuffing things up. This by itself well worth the price of admission. Choose a decent programmer's editor and you'll never look back!