add building documentation

this resurrects an old .gitlab-ci.yml, because I thought that's a
good idea event if it is ignored by github.