Download the Arduino IDE software from here.
All posts by
Codebender
Codebender offer a remote programming via Ethernet option http://codebender.cc/
Ariadne Bootloader
The Ariadne-Bootloader can be used for remote programming via Ethernet https://github.com/codebendercc/Ariadne-Bootloader