Jupyterlab for education on raspberries need to lighten the build process

JupyterLab 3 has support for pip-installable extensions, which I think means the javascript assets are pre-compiled and won’t require a build step. I’m not sure though. Related thread: