Some header files are only included when MPI is active (e.g. in the
generalized solver), thus the normal distcheck does not fail if they
are missing in the corresponding automake variables and are not
distributed.

Also adapt Ci env vars to run the CI tests on freya.

NOT testing with gpu,
NOT testing with no-assumed-size