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)