#1: Fetch Arduino package from arduino.cc