Arduino hardware package manager

[beriberikix]

https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.6.x-package_index.json-format-specification

It would very useful wrap up the install process using the package json format defined by Arduino.