Arduino IDE 1.0.3

Questa dovrebbe essere l'ultima release dell'IDE della serie 1.0.x.
La prossima dovrebbe confluire nella 1.5.3.