Changes from a Board based install UI to a Platform based one which
is more honestly what it does. Adds support for upgrading platforms.
Also moves the hardware and tools under the platforms directory
to match what the Arduino IDE does.
Change-Id: I1ff4ad1178439dd1e51a7594870596e0cbe34afb
Default URLs for Arduino and the ESP8266 community. Preference page
to allow user to add their own.
Change-Id: I6b134712d3189ae3559cae3e412acd7d3b1df7f1
Added dependency to Gson for JSON parsing and Apache Http Client
for getting the index files from the Arduino site.
Change-Id: I3d265c1037e7f74e082f36c751f5eaf780e96684
