MichaelAML

This feature has especially an impact in the build process of the Docker images for the interactive sessions. Inparticular it should be possible to use an alternative artifactory while building...

For the interactive user sessions it should be enough if you can set the corresponding environment variables, i.e. set HTTP_PROXY, HTTPS_PROXY, as well as NO_PROXY in the Docker images.