Make the nightly tagging script more robust for the very unlikely case
that two builds try to create the same nightly tag from a different
commit.

Also use `show-ref` instead of `rev-parse` to check for tags and some
other minor cleanups, i.e. remove unused support of specifying tag names
via the `$datestamp` environment variable.