Merge branch 'dev/addci' into 'master'

GitLab: Add basic CI (build stage)

See merge request !2
1 job for develop in 2 minutes and 15 seconds (queued for 2 seconds)