Arduino board manager support

I wish to ask if there already is or if it’s in the plans to support the Arduino IDE board manager, not that I want to use the Arduino IDE to develop for Core or Photon, but because I would love to use the Arduino Eclipse Plugin for that.

The upcoming version of the Arduino Eclipse Plugin leverages the Arduino IDE library manager and board manager and it could be great to add :spark: Particle devices to the already long list of supported devices and boards…

I believe that could be a strategic move for the Particle team, lowering a bit the learning curve for newcomers and making the whole thing a little less panicking for those used to Arduino development.