Add CI on master, 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 choos :)
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 choos :)