Set up CI pipelines

See merge request dune-microstructure!1

Because such statements bleed into all the files that include
the headers, and this may lead to compilation errors later.

It is not needed, and it is not present on many platforms.