Deploy docs directly from this repo, not by triggering an external repo

With the build:docs job we already have all the artifacts available; now (after #289 (closed)) that we are at GitLab.com we can directly deploy from here via GitLab Pages.