Pinoccio core files for the Arduino IDE