devel/py-pycrdt: Update to 0.8.31

Changes: https://github.com/jupyter-server/pycrdt/releases