Add branch `ci/*` or `kernelci` from https://github.com/compudj/linux-dev

Please provide the information described below in order to add a new branch to
kernelci.org:

- **Which Git branch do you want to add?**

⇨ Git repo URL: https://github.com/compudj/linux-dev

⇨ Git branch name: pattern `ci/*`, or if that's not possible: `kernelci`

- **How much build coverage do you need for your branch?**

3. Build only the main defconfig for each architecture to save a lot of build
power, get the fastest results and highest boots/builds ratio. This is what do
with some maintainer branches such as linusw' GPIO branch.

⇨ Build coverage choice: 3 (defconfig for each arch)

- **How often do you expect this branch to be updated?**

⇨ Estimated frequency: A few times each week

- **Who should the email reports be sent to?**

⇨ Recipients: mathieu.desnoyers@efficios.com