Update to 2014-08 build of MPIDE for PIC32 builds

PR for #264 - not ready to merge yet, waiting on:

* https://github.com/sudar/Arduino-Makefile/issues/255
* https://github.com/sudar/Arduino-Makefile/pull/257
* https://github.com/sudar/Arduino-Makefile/pull/256