Add CI on devel, fix #34

Hi,

This PR setup gitlab-ci. I don't know if you prefer to merge this on master or on devel, so I let you choose :)