add links to gitlab repo
We are receiving the first messages from people complaining about missing date and room of the lecture. It would be great if we can motivate people to open issues in this repo if those are found in the lecture materials. To facilitate that, I'd add links from the website into this repository.
Edited by Tobias Koelling