Grepable output of final time.
Easily greppable tags.
Merge pull request #169 from AdrienChampion/feature_output-final-time

Grepable output of final time.