prepare-release.sh: added option to push tag to git origin