Add .gitlab-ci.yml

We could automatically run xmlto on the CI server, but that requires
installing it during the job, and the current recommendation is to
generate HTML locally and push so as to ease the load on the servers, so
let's do that at least for now.