Docker containers: push both tagged version and `latest` and update doc to use `latest` See merge request !58