Added the timestamp feature, for timestamps of generation time at the end of
the coverage files