Python build script to create a small embeddable static Python lib