[ANN] Pycopy/pycopy-lib 3.1.0, a minimalist Python dialect