Buildfixes: Better linux packaging and https#5438

Closed

NicoHood wants to merge 10 commits intoarduino:masterfrom

NicoHood:buildfix

Commits on Nov 26, 2016

Merge remote-tracking branch 'upstream/master' into buildfix
NicoHood
committed

Commits on Dec 23, 2016

Commits on Dec 27, 2016

Merge remote-tracking branch 'upstream/master' into buildfix
NicoHood
committed
Revert "Added platform.txt files back to hardware folder. Fixes arduino-builder"
NicoHood
committed