Add MPIDE download URLs for all supported platforms.
Bump arduino.mk to allow building without MPIDE sketchbook in CI.