Add support for the Digilent chipKIT platform.

This commit modifies a few things in Arduino.mk to be able to support
overridding the necessary configuration options to support the chipKIT build,
and also includes an example sketch configured to build for the Max32 platform.