This is unfortunate because the code is duplicated, but I don't see a
good way around it since we need to dupliacate the check for ARDMK_DIR
before we can find Common.mk.
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.