sync.py: Rework mtime handling.

git doesn't track mtime, so compare with the UNIX timestamp
of the last sync commit instead.
Sync.