fix: project path case sensitivity

[olevski]

/deploy

[RenkuBot]

You can access the deployment of this PR at https://renku-ci-nb-1857.dev.renku.ch

[olevski]

Different gitlab api endpoints return all-lowercase or case sensitive names for the project name/path. But for mount locations or work-dirs we use the case sensitive version.

For example try to launch a session from this project on dev.renku.ch and the work dir will be wrong.
https://renku-ci-nb-1856.dev.renku.ch/projects/tasko.olevski/anewproject

Prior to adding the support for multiple repos we were using the case sensitive path name of the project for the mount dir. So in this fix I went for the same. For renku 2.0 we should make sure we just go for lowercase across the board or something like that.

Steven reported this issue on slack. The streamlit app here (https://renkulab.io/projects/deeplnafrica/deepLNAfrica) does not work because the project is cloned in /work/deeplnafrica but the workdir is /work/deepLNAfrica.

[leafty]

@olevski For Renku 2.0, all sessions have their working directory set to <image_work_dir>/work, so this should not be an issue.

I will check that this case is handled correctly in #1849.