forget about the sed hack; do not redirect stderr to stdout
try to rm travis_out more frequently, and when the time is HH:MM:30, echo a dot (this makes sure we only echo at most one dot per minute if necessary)