Store timestamps and use them for sorting

Alphabetic sorting of SHAs isn't that useful.