Push tags in release.sh and update docker dependencies

Thom Wiggersrequested to merge
push-tags-in-release.sh into master

Makes it even more helpful.

Edited by Thom Wiggers

Merge request reports