Documentation about the CI pipeline

This adds a document with an introduction to how Gitlab does continuous integration, and how it is implemented for at-spi2-core.