doc/.gitlab-ci.yml: deploy_doc
Au-dessus de !583 (merged).
Encore #4148 (closed) / #3588: https://gitlab.inria.fr/vidjil/vidjil/-/jobs/525803, sur un pipeline hors MR, a loupé car build_doc n'était pas appelé. On essaie ici de mettre only:[merge_requests] aussi sur deploy_doc.