devel/py-jupyter-docprovider: Add py-jupyter-docprovider 1.0.0

jupyter-shared-docprovider is a JupyterLab/Jupyter Notebook 7+ extension
integrating collaborative shared models.

The collaborative shared models are used for both:
- real time collaboration, and
- server-side execution of notebooks