Merge pull request #11 from nim65s/devel

[CI] add .gitlab-ci.yml & badges
4 jobs for devel in 57 seconds (queued for 3 seconds)