Board manager json file for my Arduino cores.
This will contain scripts for automating board manager releases as they are written.