Removed two warnings
Fixed I18NTest
Merge remote-tracking branch 'arduino/ide-1.5.x' into ide-1.5.x
Added information relevant to the version of FreeRTOS DuinOS and both
the compilation and the IDE interface.

The version parameter so as to build DUINOS FreeRTOS are equivalent
version of FreeRTOS removing points, so 7.4.0 is displayed as 740.

In future versions the parameter DUINOS may have independent value.