gitlab-ci: limit the automatic CI to master and MRs
Runs on random other branches (stables RCs, personal forks) can be either
triggered manually via the web interface (or an app using the API), or
by pushing to a branch prefixed with ci/
(which you can delete
afterwards, the pipeline results will remain).
This should massively help with the current voracious state of our CI.