Building the IDE without bundling the toolchain#1722

matthijskooijman wants to merge 8 commits intoarduino:ide-1.5.xarduino/Arduino:ide-1.5.xfrom

matthijskooijman:ide-1.5.x-no-toolchainmatthijskooijman/Arduino:ide-1.5.x-no-toolchainCopy head branch name to clipboard