py: Put micropython module init code in builtinmp.c.