Boot sequence animation code for PXT using nice adafruit logo - View it on GitHub