Json library import feature 

'Arduino IDE has a new feature that parses a special json hosted someplace on the internet to import libraries. In most cases we already have those libraries, but figuring how this works and incorporating it in eratosthenes would be welcome too.'
