script/librelease.sh: add git push for the release tag