Getting started with Sparkfun Redboard (32-bit Microcontroller) and Python