GitLab

Was introduced recently, when I moved the private headers to src/

That way, this can easily be re-used for interactive testing as well

Pavel noted that some header files were missing from the distribution.
Also, I moved the private generated header files to src/ in order to
more clearly separate them.

- add skylake tests
- deactivate minsky runner for the time being

In case of GPU build it is NOT sufficient to loop over all kernels:

For the GPU kernels one must ALSO set that GPUs should be used