Update Arduino.mk
Update chipKIT.mk
Update Arduino.mk
Update chipKIT.mk
Use AVR tools from Arduino package, now included in Linux.
Merge branch 'next' into pr/17
Re-remove deprecated BOARD tag from Arduino build.
Merge branch 'next' into pr/17