Updated German translation
Updated Slovenian translation
Add USB VID/PID handling for the Leonardo builds
Don't forget to compile HID.cpp
Squashed 'hardware/' changes from 0e2ddbe..f2271ed

f2271ed Print "ovf" if float to be printed doesn't fit in a long.
32e8179 Print "inf" for infinite floating point numbers (using isinf()).
56c96d4 Adding write(str) and write(buf, size) for USB CDC.

git-subtree-dir: hardware
git-subtree-split: f2271edf13a96819a0f86497dafadf448d495610
update hardware target from upstream
Squashed 'libraries/' changes from ddb94de..8dc313d

8dc313d Fixing SD card SPI pin mapping for Leonardo.

git-subtree-dir: libraries
git-subtree-split: 8dc313d9a6895cbba8c37d0373efa5a13620894a
update libraries target from upstream
Add support for Arduino WiFi Shield
fix examples files parsing
Added Polish translation
Updated Galician translations
Updated Czech translation
Updated Polish translation
Added Greek translation
Update French translation
fix Import Library menu option
Bug 686350 - python setup.py build install pixmaps # ==> error running pixmaps: no such file or dir
fix leonardo upload - try I
Added Hebrew translation.