Added instructions for installation with boards manager#1630

Merged

me-no-dev merged 5 commits intoespressif:masterfrom

lbernstone:pr1

Jul 26, 2018

Commits on Jul 8, 2018

Added instructions for installation with boards manager (stolen directly from esp8266)
lbernstone
committed

Commits on Jul 12, 2018

changed to production link instead of dev
lbernstone
committed

Commits on Jul 14, 2018

Merge branch 'master' of https://github.com/espressif/arduino-esp32 into pr1
lbernstone
committed

Commits on Jul 25, 2018