GitLab

Currently the CI system only tests the ISTL backend. So, some errors are not found automatically when changing the other backend implementations. I suggest to add pipelines for all backends, maybe with the dune master branch.

It might be that we have to create our own docker image for this. Therefore, we could use the docker registry on dune-project with a modified script of docker/ci