change travis_time tag format to include a unique name per timer
use $RANDOM, hat tip to @henrikhodne
ensure higher randomness for the time tag id
Merge pull request #280 from travis-ci/sf-time-tag-uids

Change time tag format