Catch up to latest Arduino IDE
Merge pull request #1952 from kyab/catchup_arduinodue

Catch up to latest Arduino IDE