Merge branch 'feature/xml-artifacts-gitlab' into 'dev'

.gitlab-ci.yml: produce .xml artifacts and use them within gitlab

See merge request !1
3 jobs for dev in 7 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Unit
passed #170843
unit

00:00:01

 
  Demo
passed #170844
demo

00:00:02

 
  Coverage
passed #170845
coverage

00:00:03

85.0%