Merge branch 'ci' into 'master'

Add CI pipeline

See merge request !51
2 jobs for master in 10 minutes and 7 seconds (queued for 5 seconds)