Add specifier to generated tool property keys#165

facchinm wants to merge 2 commits intoarduino:masterarduino/arduino-builder:masterfrom

facchinm:duplicate_tools_resolverfacchinm/arduino-builder:duplicate_tools_resolverCopy head branch name to clipboard