Use timestamps in release stage names to make things simpler during
non-release periods (and the release stage name is unimportant for
full releases, so this can be on all the time).