I just created a JSON file + archive for the pinoccio board that works with the Arduino IDE 1.6.7 Board Manager. If you want to access it, add https://robertgallup.github.io/pinoccio/package_pinoccio_index.json to the “Additional Boards Manager URLs” text box in Arduino preferences. After that, the Board Manager should allow you to search for and install "pinoccio". The JSON also references the hardware definition files zipped up in an archive, but that all happens transparently.
If there's a good place to put these in the pinoccio GIT repositories, let me know and I'm happy to add them so they can be updated/maintained.