feat: create new environment using a remote mamba solver

[mariobuikhuizen]

Point quetz_url and quetz_solve_url in packages/common/src/components/CondaHints.ts to your Quetz server/solver.

On the Quetz server with the solver add:

[cors]
allow_origins=["*", "http://localhost"]

to config.toml

The code completion in the environment editor can be activated with CTRL-space.

[github-actions]

👈 Launch a binder notebook on the branch mariobuikhuizen/gator/mamba_hint_solve

[mariobuikhuizen]

gator1.mp4

[fcollonval]

Thanks a lot for this awesome feature @mariobuikhuizen

I'll try to review it in the coming days.

One design question from the demo (thanks for it); did you think about various design? For example, does it make sense to open a new mainwidgetarea containing the editor with the button as toolbar button? The idea would be to create/edit environment file in a standalone widget directly from the filebrowser in addition to the demo you are presenting.

[mariobuikhuizen]

That sounds like a good idea @fcollonval, I'll look into that.

[mariobuikhuizen]

Thanks @hbcarlos!

[fcollonval]

Hey thanks for this awesome feature. I left some comments; mainly I think the code could be simplified by reusing the import feature directly. And I'm worry that fetching the quetz server should be proxied through the server extension instead of being done on the frontend to avoid CORS errors.

[fcollonval]

Thanks @mariobuikhuizen I added some comments.

[mariobuikhuizen]

I discovered an issue with setting arguments with the standalone navigator with jupyter_server 1.9 (in 1.6.1 it works). Taking a look at that now.

[mariobuikhuizen]

I think it's an issue in jupyter-server: jupyter-server/jupyter_server#550