Overview
- Remove Home link.
Since it shouldn't refer to the O3as page but just to the top of our page,
it is not necessary anymore because our webapp is not long enough to jusitfy a Home link. - Add O3as link instead.
- Add Gitlab link.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.