Add a CI pipeline
The CI pipeline automatically pulls the KiCS2 3.0.0 Docker image and performs a clean build of the KiCS2 kernel (this build currently takes 35 minutes, we build only the kernel for now to stay within reasonable time limits).
The CI pipeline automatically pulls the KiCS2 3.0.0 Docker image and performs a clean build of the KiCS2 kernel (this build currently takes 35 minutes, we build only the kernel for now to stay within reasonable time limits).