Produces a static library version of micropython for use with Arduino build environments.