Allow precompiled libs#219

facchinm merged 4 commits intoarduino:masterarduino/arduino-builder:masterfrom

facchinm:allow_precompiled_libsfacchinm/arduino-builder:allow_precompiled_libsCopy head branch name to clipboard