.gitlab-ci.yml: add pages job to generate coverage report and publish to gitlab pages