Add jupyterlab workspace

This adds a jupyterlab workspace with a welcome message and brief
introduction. It also moves the binder setup to use jupyterlab instead
of the classic notebook interface.

Dockerfile

@@ -29,6 +29,8 @@ RUN pip install --no-cache --upgrade pip \
 
 COPY --chown=${NB_UID} examples ${HOME}/examples
 COPY --chown=${NB_UID} tutorial ${HOME}/tutorial
+COPY --chown=${NB_UID} welcome.md ${HOME}/welcome.md
+COPY --chown=${NB_UID} binder.jupyterlab-workspace ${HOME}/.jupyter/lab/workspaces/default-37a8.jupyterlab-workspace
 
 USER ${USER}
 WORKDIR ${HOME}

README.md

@@ -6,4 +6,4 @@ This repository contains runnable example notebooks for
 They are intended to be run on [mybinder.org](https://mybinder.org) via the
 link below:
 
-[![Binder](https://static.mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/ibis-project/ibis-examples/main?urlpath=tree)
+[![Binder](https://static.mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/ibis-project/ibis-examples/main)

binder.jupyterlab-workspace

@@ -0,0 +1 @@
+{"data":{"layout-restorer:data":{"main":{"dock":{"type":"tab-area","currentIndex":0,"widgets":["markdownviewer-widget:welcome.md"]},"current":"markdownviewer-widget:welcome.md"},"down":{"size":0,"widgets":[]},"left":{"collapsed":false,"current":"filebrowser","widgets":["filebrowser","running-sessions","@jupyterlab/toc:plugin","extensionmanager.main-view"]},"right":{"collapsed":true,"widgets":["jp-property-inspector","debugger-sidebar"]},"relativeSizes":[0.13545601726929304,0.864543982730707,0]},"file-browser-filebrowser:cwd":{"path":""},"workspace-ui:lastSave":"binder.jupyterlab-workspace","markdownviewer-widget:welcome.md":{"data":{"path":"welcome.md","factory":"Markdown Preview"}}},"metadata":{"id":"binder","last_modified":"2023-02-01T20:51:34.826742+00:00","created":"2023-02-01T20:51:34.826742+00:00"}}

welcome.md

@@ -0,0 +1,21 @@
+# Ibis Examples
+
+Welcome! This is a live Python environment running at
+[mybinder.org](https://mybinder.org/).
+
+It contains many example notebooks illustrating how to use
+[Ibis](https://ibis-project.org/).
+
+A file browser listing the example notebooks can be found on the left. If
+you're new to Ibis, we recommend starting with the tutorial found in the
+`tutorial` directory.
+
+## Additional Resources
+
+To learn more about Ibis, please visit
+[ibis-project.org](https://ibis-project.org/).
+
+The code for these examples can be found [here on
+GitHub](https://github.com/ibis-project/ibis-examples). Found a typo, a bug, or
+a confusing example? Please [open an
+issue](https://github.com/ibis-project/ibis-examples/issues)!