python3Packages.jupyterlab: Fix build

The build was broken by updating the underlying python library.
This is the quickfix.

Fixes: ca67a72 ("python37Packages.jupyterlab_server: 0.2.0 -> 0.3.0")
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>

pkgs/development/python-modules/jupyterlab/default.nix

@@ -4,6 +4,7 @@
 , jupyterlab_server
 , notebook
 , pythonOlder
+, fetchpatch
 }:
 
 buildPythonPackage rec {
@@ -22,6 +23,14 @@ buildPythonPackage rec {
     "--set" "JUPYTERLAB_DIR" "$out/share/jupyter/lab"
   ];
 
+  patches = [
+    (fetchpatch {
+      name = "bump-jupyterlab_server-version";
+      url = https://github.com/jupyterlab/jupyterlab/commit/3b8d451e6f9a4c609e60cde5fbb3cc84aae79951.patch;
+      sha256 = "08vv6rp1k5fbmvj4v9x1d9zb6ymm9pv8ml80j7p45r9fay34rndf";
+    })
+  ];
+
   # Depends on npm
   doCheck = false;