Fix scroll jumping behavior (#46)

Author: mfisher87

docker/overrides.json

@@ -0,0 +1,8 @@
+{
+  "@jupyterlab/notebook-extension:tracker": {
+    "scrollPastEnd": false
+  },
+  "@jupyterlab/apputils-extension:notification": {
+    "fetchNews": "false"
+  }
+}

docker/postBuild

@@ -7,3 +7,7 @@ set -euo pipefail
 # used in the JupyterHub.
 cp custom_jupyter_server_config.json ${NB_PYTHON_PREFIX}/etc/jupyter/jupyter_server_config.d/
 cp custom_jupyter_server_config.json ${NB_PYTHON_PREFIX}/etc/jupyter/jupyter_notebook_config.d/
+
+# Install settings overrides, including fix for jumping-scroll behavior
+mkdir -p ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings
+cp overrides.json ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings