HTTPS SSH

This development is moved

This development is now part of the iris-examples repository, see https://gitlab.mpi-sws.org/FP/iris-examples/. If you are interested in the legacy version of this development see branch legacy of this repository.