Add gitlab ci
Replaces CircleCI with GitLabCI equivalent. Docker images pushed to this repo's Registry instead of Docker Hub.
Push limited to master branch.
Once merged the nightly scheduled pipeline will need to be activated.
Closes: #14 (closed)
Edited by Dr Rich Wareham