mbsync: append timestamp to each line
mbsync: propertize timestamp
mbsync: avoid competing timers

Use prime numbers to avoid collisions in timers. Ideally, they should be
queued instead. Also, cancel the existing timers.