Tag newest docker image as latest

Marcel Looserequested to merge
docker-tag-latest into master

Currently, the latest docker image refers to the latest release. It makes more sense to have latest point to the latest version of the master branch. This commit fixes that.

Merge request reports