Draft: Try to remove portalocker dependency.
In my opinion portalocker
should not be a hard dependency, maybe optional. The reasons is that, there are no system packages, for example, in gentoo, a distro where Python is a central part. So I don't want DUNE to depend on packages that are that far away from the mainstream. This MR was to test what the impact would be. I think there is no major impact.
Edited by Robert K