Gitlab Community Edition Instance

This tags the material used for the summer semster 2020. For the summer semester 2021 a new branch is created.