Update documentation
Some minor updates to documentation, as well as an update to the .gitlab-ci file so that we pick up the latest docker image.
Some minor updates to documentation, as well as an update to the .gitlab-ci file so that we pick up the latest docker image.