GitLab

@amintimany reports that some of his projects that we are considering to add take pretty long to compile. We should provide make targets that only compile one particular project, to make it easier for people to look at a particular case study they are interested in.

I can experiment with that, once we have something in the repo.