Use docker push instead of docker image push

Docker image push is very uncommon and is replaced by docker push in this change.

@christian.hueser.hzdr Please merge before we get to the episode tomorrow.