Change time tag format

We need to include a unique id to each start and end tag. Also this changes travis_time_finish to output "travis_time:end" in order to align this with the fold tags.