Add user sshd configuration and user 'developer' in base Dockerfile

[domire8]

PR #243 got a bit out of hand and was not easy to review, so I'm opening this again with nicer commits. I will also do the demo scripts in a next PR, to keep the diff smaller.

So here, review by commit is strongly suggested and will make it easier to understand whats going on. The changes in the two dev-server.sh scripts are strongly inspired by the aica-docker server script.

[eeberhard]

Thanks for taking the time to do this and clean it up into a digestible PR. It looks good to me, though I haven't yet had a chance to test it locally. I will try to do that before the end of the week just to make sure the scripts and everything behave as expected also on Mac as Linux.

[domire8]

Thanks for taking the time to do this and clean it up into a digestible PR. It looks good to me, though I haven't yet had a chance to test it locally. I will try to do that before the end of the week just to make sure the scripts and everything behave as expected also on Mac as Linux.

To test, you need to first build the base image and tag as epfl-lasa/control-libraries/development-dependencies, remove ghcr.io/ from line 1 in Dockerfile.python, Dockerfile.source and line 3 in source/dev-server.sh and additionally comment the docker pull ${IMAGE_NAME} in source/dev-server.sh.

[eeberhard]

To test, [...]

Thank you, I would have figured it out but that was very helpful to save me a few minutes. Everything works as expected on my side (Mac). Of course I had to change the toolchain and mapping from remote@localhost and /home/remote to developer@localhost and /home/developer in CLion. Good stuff!