Merge branch 'gitlab-ci' into 'master'

Generate HTML and PDF in .gitlab-ci.yml



See merge request !1
2 jobs for master in 1 minute and 13 seconds (queued for 1 second)