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