Update .gitlab-ci.yml to build documentation pages

Depends on #7.