Merge pull request #169 from AdrienChampion/feature_output-final-time

Grepable output of final time.