Internationalize the Arduino IDE user interface.

The code has been merged into the official Arduino repository. It will be included in Arduino IDE 1.0.1 and later versions. https://github.com/arduino/Arduino/pull/44