GitLab

* Update git path and fix typos
* Add information on how to get the vault password

* For the web applications

* Install the official SDDS Python 3 binary (RPM)

* Install blas and Pelegant and open ports for Pelegant runs

* Move all hosts
* Change hostnames
* Change IPs in configurations
* Improve IPA setup
* Update roles:
  * opera
  * lasarchiv
  * common/printer
  * ipa_hosts

* Cloning the KITLaTeX repository failed because the SSH-key for the GitLab
instance was missing.