Merge branch 'wip/gitlabci' into 'master'

gitlab-ci: add master build badges to README



See merge request !1
1 job for master in 2 minutes and 50 seconds (queued for 2 seconds)