I'd like to give micropython-lib a try, but I don't know how to build it and set it up. Can you document the required steps ?